ghc-source-gen-0.1.0.0: Constructs Haskell syntax trees for the GHC API.

Safe HaskellNone
LanguageHaskell2010

GHC.SourceGen.Type

Description

This module provides combinators for constructing Haskell types.

Synopsis

Documentation

tyPromotedVar :: RdrNameStr -> HsType' Source #

A promoted name, for example from the DataKinds extension.

stringTy :: String -> HsType' Source #

numTy :: Integer -> HsType' Source #

listTy :: HsType' -> HsType' Source #

listPromotedTy :: [HsType'] -> HsType' Source #

(-->) :: HsType' -> HsType' -> HsType' infixr 0 Source #

A function type.

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

forall' :: [HsTyVarBndr'] -> HsType' -> HsType' Source #

(==>) :: [HsType'] -> HsType' -> HsType' Source #

Qualify a type with constraints.

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