idris-1.3.0: Functional Programming Language with Dependent Types

License	BSD3
Maintainer	The Idris Community.
Safe Haskell	None
Language	Haskell2010

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 #
Methods (==) :: JsPrimTy -> JsPrimTy -> Bool # (/=) :: JsPrimTy -> JsPrimTy -> Bool #
Ord JsPrimTy Source #
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 #