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.Core.Compiler

Description

 

Documentation

data SortRef Source

Constructors

SortRef Sort Ref 

Instances

compile :: Eq v => Sorted Word64 -> (v -> SortRef) -> Core Convention v -> G Source

compileBinding :: Eq v => (v -> SortRef) -> Core Convention v -> PreClosure Source

compileBranches :: Eq v => Sorted Word64 -> SortRef -> (v -> SortRef) -> Map Word64 (Match Convention (Core Convention) v) -> Maybe (Scope () (Core Convention) v) -> Continuation Source

compileHardCore :: HardCore -> G Source