Copyright | (C) 2015 Richard Eisenberg |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Richard Eisenberg (rae@cs.brynmawr.edu) |
Stability | experimental |
Safe Haskell | Safe |
Language | Haskell2010 |
Defines types
Glambda types to be used in Haskell terms
Representation of a glambda type
readTyCon :: String -> Maybe Ty Source #
Perhaps convert a string representation of a base type into a Ty
Glambda types to be used in Haskell types
An implicit STy
, wrapped up in a class constraint
emptyContext :: SCtx '[] Source #
The singleton for the empty context