Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
A class for records holding a single element of a given type.
Useful for records of values for several different types,
for example when performing unification of heterogenous ASTs,
the record
Knot
can be used to hold the unification variables mappings
for each of the AST types.