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

IRTS.JavaScript.PrimOp

Description

 

Documentation

type PrimF = [JsExpr] -> JsExpr #

data JsPrimTy #

Constructors

PTBool 
PTAny 

Instances

Instances details
Eq JsPrimTy # 
Instance details

Defined in IRTS.JavaScript.PrimOp

Ord JsPrimTy # 
Instance details

Defined in IRTS.JavaScript.PrimOp