giml-language-0.1.0.0: A purely functional programming language with emphasis on structural typing
Safe HaskellNone
LanguageHaskell2010

Language.Giml.Builtins

Description

Builtin stuff

Includes:

  • builtin types
  • values
  • datatypes
  • function implementations
Synopsis

Types

tIO :: Type -> Type Source #

A type representing IO actions

tIORef :: Type -> Type Source #

A type representing IO actions

Values

Data types

Functions

data Builtin Source #

A Built-in function

Constructors

Builtin 

Fields

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