ermine-0.6: Ermine

Copyright(c) Edward Kmett and Dan Doel 2014
LicenseBSD3
MaintainerDan Doel <dan.doel@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Ermine.Syntax.G

Description

 

Documentation

type Native = Any Source

data Ref Source

Constructors

Global !Id 
Local !Word64 
Stack !Word64 
Lit !Word64 
Native !Native 

Instances

_Global :: Prism' Ref Id Source

_Local :: Prism' Ref Word64 Source

_Stack :: Prism' Ref Word64 Source

_Lit :: Prism' Ref Word64 Source

_Native :: Prism' Ref Native Source

_UnsafeNative :: Prism' Ref a Source

data G Source

Constructors

Case !G !Continuation 
CaseLit !Ref !Continuation 
App !(Sorted Word64) !Func !(Sorted (Vector Ref)) 
Let (Vector PreClosure) !G 
LetRec (Vector PreClosure) !G 
Slot 

Instances

_Ref :: Sorted Word64 -> Prism' G Ref Source

data PreClosure Source

Constructors

PreClosure !(Sorted (Vector Ref)) !LambdaForm 

Instances

type Tag = Word64 Source

data Continuation Source

Constructors

Continuation (Map Tag (Sorted Word64, G)) (Maybe G) 

Instances

data Func Source

Constructors

Ref !Ref 
Con !Tag 

Instances

data LambdaForm Source

Constructors

LambdaForm !(Sorted Word64) !(Sorted Word64) !Bool !G 

Instances

free :: Lens' LambdaForm (Sorted Word64) Source

bound :: Lens' LambdaForm (Sorted Word64) Source

update :: Lens' LambdaForm Bool Source

body :: Lens' LambdaForm G Source

noUpdate :: Sorted Word64 -> Sorted Word64 -> G -> LambdaForm Source

doUpdate :: Sorted Word64 -> G -> LambdaForm Source

standardConstructor :: Sorted Word64 -> Tag -> LambdaForm Source

dictionary :: Word64 -> LambdaForm Source