ermine-0.6: Ermine

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

Ermine.Unification.Data

Description

 

Documentation

zonkDataType :: DataType (MetaK s) Void -> M s (DataType (MetaK s) Void) Source

zonkConstructor :: Constructor (Var Int (MetaK s)) (Var Int Void) -> M s (Constructor (Var Int (MetaK s)) (Var Int Void)) Source