idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellSafe-Inferred
LanguageHaskell2010

IRTS.JavaScript.PrimOp

Description

 

Documentation

type PrimF = [JsExpr] -> JsExpr Source #

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

data JsPrimTy Source #

Constructors

PTBool 
PTAny 

Instances

Instances details
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