Safe Haskell | None |
---|
- intIs64 :: Bool
- replace :: (a -> Maybe a) -> a -> a
- composeExprs :: [ExpQ] -> ExpQ
- nameOfCon :: Con -> Name
- argTypesOfCon :: Con -> [Type]
- nameOfBinder :: TyVarBndr -> Name
- varsBoundInCon :: Con -> [TyVarBndr]
- namesBoundInPat :: Pat -> [Name]
- namesBoundInDec :: Dec -> [Name]
- genericalizeName :: Name -> Name
- genericalizeDecs :: [Dec] -> [Dec]
- headOfType :: Type -> Name
- occursInType :: Name -> Type -> Bool
Documentation
composeExprs :: [ExpQ] -> ExpQSource
argTypesOfCon :: Con -> [Type]Source
WARNING: discards binders in GADTs and existentially-quantified constructors
nameOfBinder :: TyVarBndr -> NameSource
varsBoundInCon :: Con -> [TyVarBndr]Source
namesBoundInPat :: Pat -> [Name]Source
namesBoundInDec :: Dec -> [Name]Source
genericalizeName :: Name -> NameSource
genericalizeDecs :: [Dec] -> [Dec]Source
headOfType :: Type -> NameSource
occursInType :: Name -> Type -> BoolSource