compilation-0.0.0.3: Haskell functionality for quickly assembling simple compilers.

Safe HaskellSafe-Inferred

Control.Compilation

Description

Compilation Monad and combinators for quickly assembling simple compilers.

Control/Compilation.hs

A generic compilation monad for quickly assembling simple compilers.

Synopsis

Documentation

class StateExtension a whereSource

Data types, class declarations, and class memberships.

Methods

initial :: aSource

data State a Source

State data structure wrapper.

Constructors

State a 

type Compile a b = Compilation a bSource

data Compilation a b Source

Constructors

Compilation (State a -> (State a, b)) 
Error String 

Instances

StateExtension a => Monad (Compilation a)

Standard state monad definition.

extract :: StateExtension a => Compilation a b -> aSource

Generic combinators and functions.