Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
TemplateHaskell.Compat.V0208
Synopsis
- classP :: Name -> [Type] -> Pred
- instanceD :: Cxt -> Type -> [Dec] -> Dec
- dataD :: Cxt -> Name -> [UnitTyVarBndr] -> [Con] -> [Name] -> Dec
- notStrict :: Strict
- tupE :: [Exp] -> Exp
- flaglessPlainTV :: Name -> UnitTyVarBndr
- specifiedPlainTV :: Name -> SpecificityTyVarBndr
- type SpecificityTyVarBndr = TyVarBndr Specificity
- type UnitTyVarBndr = TyVarBndr ()
- doE :: [Stmt] -> Exp
- tyVarBndrKind :: TyVarBndr flag -> Maybe Kind
- conP :: Name -> [Pat] -> Pat
- conp :: Name -> [Pat] -> Pat
Documentation
flaglessPlainTV :: Name -> UnitTyVarBndr Source #
type UnitTyVarBndr = TyVarBndr () Source #