idris-1.1.0: Functional Programming Language with Dependent Types

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

IRTS.JavaScript.PrimOp

Contents

Orphan instances

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 #

Orphan instances

Ord PrimFn Source #
Methods compare :: PrimFn -> PrimFn -> Ordering # (<) :: PrimFn -> PrimFn -> Bool # (<=) :: PrimFn -> PrimFn -> Bool # (>) :: PrimFn -> PrimFn -> Bool # (>=) :: PrimFn -> PrimFn -> Bool # max :: PrimFn -> PrimFn -> PrimFn # min :: PrimFn -> PrimFn -> PrimFn #