giml-transform-0.1.0.0: Typing and transformations for Giml

Safe Haskell	Safe-Inferred
Language	GHC2021

Language.Giml.Builtins

Contents

Types
Values
Data types
Functions

Description

Builtin stuff

Includes:

builtin types
values
datatypes
function implementations

Synopsis

tUnit :: Type
tInt :: Type
tFloat :: Type
tString :: Type
tBool :: Type
tIO :: Type -> Type
tIORef :: Type -> Type
true :: Expr ()
false :: Expr ()
unit :: Expr ()
builtinDatatypes :: [Datatype ()]
dataBool :: Datatype ()
dataOption :: Datatype ()
type Builtins = Map Var Builtin
data Builtin = Builtin {
- bName :: Var
- bType :: Type
- bImpl :: Impl
}
data Impl
- = Func Text
- | BinOp Text
builtins :: Builtins

Types

tUnit :: Type Source #

tInt :: Type Source #

tFloat :: Type Source #

tString :: Type Source #

tBool :: Type Source #

tIO :: Type -> Type Source #

A type representing IO actions

tIORef :: Type -> Type Source #

A type representing IO actions

Values

true :: Expr () Source #

false :: Expr () Source #

unit :: Expr () Source #

Data types

builtinDatatypes :: [Datatype ()] Source #

dataBool :: Datatype () Source #

dataOption :: Datatype () Source #

Functions

type Builtins = Map Var Builtin Source #

data Builtin Source #

A Built-in function

Constructors

Builtin
Fields bName :: Var the name bType :: Type the type bImpl :: Impl the implementation

data Impl Source #

The type of the function and it's implementation in the target source code

Constructors

Func Text
BinOp Text

builtins :: Builtins Source #

All of the builtin functions