Parsley.Internal.Backend.Machine.LetBindings

Definitions for various encapsulating datatypes for machines, and defining free registers.

Since: 1.0.0.0

Documentation

data LetBinding o a x

Packages a binding along with its free registers that are required for it, which are left existential. This is possible since the Regs datatype serves as a singleton-style witness of the original registers and their types.

Since: 1.4.0.0

Constructors

LetBinding (Binding o a x) (Some Regs)

data Regs (rs :: [Type]) where

Represents a collection of free registers, preserving their type information as a heterogeneous list.

Since: 1.0.0.0

Constructors

NoRegs :: Regs '[]

FreeReg :: ΣVar r -> Regs rs -> Regs (r ': rs)

makeLetBinding :: Binding o a x -> Set SomeΣVar -> LetBinding o a x

Given a Binding and a set of existential ΣVars, produces a LetBinding instance.

Since: 1.4.0.0

type Binding o a x = Fix4 (Instr o) '[] One x a

Type represents a binding, which is a completed parser that can be refered to by other parsers. This is characterised by requiring no initial stack and exactly one handler. The top-level binding is the one of type Binding o a a.

Since: 1.0.0.0