Moduleghc-source-gen-0.4.6.0Haskell2010

GHC.SourceGen.Type

This module provides combinators for constructing Haskell types.

typetype HsType' = HsType GhcPs

A Haskell type, as it is represented after the parsing step.

Instances:

valuetyPromotedVar :: RdrNameStr -> HsType'

A promoted name, for example from the DataKinds extension.

valuestringTy :: String -> HsType'

valuenumTy :: Integer -> HsType'

valuelistTy :: HsType' -> HsType'

valuelistPromotedTy :: [HsType'] -> HsType'

valuetuplePromotedTy :: [HsType'] -> HsType'

value(-->) :: HsType' -> HsType' -> HsType'

A function type.

a -> b
=====
var "a" --> var "b"

valueforall' :: [HsTyVarBndrS'] -> HsType' -> HsType'

A type variable binding.

forall a . T a
=====
forall' [bvar "a"] $ var "T" @@ var "a"

typetype HsTyVarBndr' = HsTyVarBndr (HsBndrVis GhcPs) GhcPs

A type variable binding, as it is represented after the parsing step.

Construct with either GHC.SourceGen.Overloaded.bVar (for regular type variables) or kindedVar (for kind signatures).

Instances:

value(==>) :: [HsType'] -> HsType' -> HsType'

Qualify a type with constraints.

(F x, G x) => x
=====
[var "F" @@ var "x", var "G" @@ var "x"] ==> var "x"

valuekindedVar :: OccNameStr -> HsType' -> HsTyVarBndr'

A type variable with a kind signature.

x :: A
=====
kindedVar "x" (var "A")