Funcons.EDSL

Funcon representation

data Types

data ComputationTypes

Smart construction of funcon terms

Funcon terms

Values

Types

unicode_characters_

Pretty-print funcon terms

Is a funcon term a certain value?

Up and downcasting between funcon terms

downcastValueType

upcastRationals

Evaluation functions

data EvalFunction

data Strictness

type StrictFuncon

type PartiallyStrictFuncon

type NonStrictFuncon

type NullaryFuncon

Funcon libraries

type FunconLibrary

Implicit & modular propagation of entities

data MSOS a

data Rewrite a

Helpers to create rewrites & step rules

Entities and entity access

type Input m

CBS compilation

Funcon representation with meta-variables

data FTerm

type Env

Defining rules

Entity access

receiveSignalPatt

withExtraInputTerms

withExactInputTerms

Backtracking

data SideCondition

lifted_sideCondition

Pattern Matching

Tools for creating interpreters

Helpers for defining evaluation functions.

Default entity values

type EntityDefaults

data EntityDefault

Type environments

data DataTypeMembers

data DataTypeAlt

typeEnvFromList