idris-1.3.2: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

IRTS.JavaScript.PrimOp

Description

 

Documentation

type PrimF = [JsExpr] -> JsExpr Source #

type PrimDec = (Bool, JsPrimTy, PrimF) Source #

data JsPrimTy Source #

Constructors

PTBool 
PTAny 
Instances
Eq JsPrimTy Source # 
Instance details

Defined in IRTS.JavaScript.PrimOp

Methods

(==) :: JsPrimTy -> JsPrimTy -> Bool #

(/=) :: JsPrimTy -> JsPrimTy -> Bool #

Ord JsPrimTy Source # 
Instance details

Defined in IRTS.JavaScript.PrimOp

Methods

compare :: JsPrimTy -> JsPrimTy -> Ordering #

(<) :: JsPrimTy -> JsPrimTy -> Bool #

(<=) :: JsPrimTy -> JsPrimTy -> Bool #

(>) :: JsPrimTy -> JsPrimTy -> Bool #

(>=) :: JsPrimTy -> JsPrimTy -> Bool #

max :: JsPrimTy -> JsPrimTy -> JsPrimTy #

min :: JsPrimTy -> JsPrimTy -> JsPrimTy #

primDB :: Map PrimFn PrimDec Source #

jsPrimCoerce :: JsPrimTy -> JsPrimTy -> JsExpr -> JsExpr Source #