Documentation

type Builtins = Map Var Builtin Source #

data Builtin Source #

data Impl Source #

builtinFun :: Var -> Type -> Text -> (Var, Builtin) Source #

builtinBinOp :: Var -> Type -> Text -> (Var, Builtin) Source #

builtin :: (Text -> Impl) -> Var -> Type -> Text -> (Var, Builtin) Source #

builtins :: Builtins Source #

ints :: Builtins Source #

strings :: Builtins Source #

bools :: Builtins Source #

unit :: Expr () Source #

true :: Expr () Source #

false :: Expr () Source #

tUnit :: Type Source #

tInt :: Type Source #

tFloat :: Type Source #

tString :: Type Source #

tBool :: Type Source #

bool :: DataType Source #

maybe :: DataType Source #