Safe Haskell | None |
---|---|
Language | Haskell2010 |
- parseType :: CoreString -> HermitC -> HermitM Type
- parseTypeT :: CoreString -> TransformH a Type
- parseTypeWithHoles :: CoreString -> HermitC -> HermitM (Type, [TyVar])
- parseTypeWithHolesT :: CoreString -> TransformH a (Type, [TyVar])
Documentation
parseType :: CoreString -> HermitC -> HermitM Type Source
Parse a CoreString into a Type, where all type variables must be bound.
parseTypeT :: CoreString -> TransformH a Type Source
Parse a CoreString
to a Type
, using the current context.
parseTypeWithHoles :: CoreString -> HermitC -> HermitM (Type, [TyVar]) Source
Parse a CoreString into a Type, any unbound variables are returned.
parseTypeWithHolesT :: CoreString -> TransformH a (Type, [TyVar]) Source
Parse a CoreString
to a Type
, using the current context, returning unbound type variables.