Funcons.Tools

Creating standalone interpreters.

mkMain

mkMainWithLibrary

mkMainWithLibraryEntities

mkMainWithLibraryTypes

mkMainWithLibraryEntitiesTypes

Creating embedded interpreters.

run

runWithExtensions

Utility functions for interpreter extensions.

Funcon libraries.

type FunconLibrary

libEmpty

libUnion

libUnions

libFromList

Type environments.

type TypeEnv

data DataTypeMembers

data DataTypeAlt

type TypeParam

emptyTypeEnv

typeEnvUnion

typeEnvUnions

typeEnvFromList

Entity declarations

type EntityDefaults

data EntityDefault

noEntityDefaults