Documentation

classP :: Name -> [Type] -> Pred Source #

instanceD :: Cxt -> Type -> [Dec] -> Dec Source #

dataD :: Cxt -> Name -> [UnitTyVarBndr] -> [Con] -> [Name] -> Dec Source #

notStrict :: Strict Source #

tupE :: [Exp] -> Exp Source #

specifiedPlainTV :: Name -> SpecificityTyVarBndr Source #

type SpecificityTyVarBndr = TyVarBndr Source #

type UnitTyVarBndr = TyVarBndr Source #

doE :: [Stmt] -> Exp Source #

tyVarBndrKind :: TyVarBndr -> Maybe Kind Source #

conp :: Name -> [Pat] -> Pat Source #