Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- typeSynonymDec :: Name -> Type -> Dec
- recordNewtypeDec :: Name -> Name -> Type -> Dec
- normalNewtypeDec :: Name -> Type -> Dec
- recordAdtDec :: Name -> [(Name, Type)] -> Dec
- productAdtDec :: Name -> [Type] -> Dec
- sumAdtDec :: Name -> [(Name, [Type])] -> Dec
- sumCon :: Name -> [Type] -> Con
- enumDec :: Name -> [Name] -> Dec
- textName :: Text -> Name
- textTyLit :: Text -> TyLit
- noBang :: Bang
- fieldBang :: Bang
- multiAppT :: Type -> [Type] -> Type
- multiAppE :: Exp -> [Exp] -> Exp
- arrowChainT :: [Type] -> Type -> Type
- appliedTupleT :: [Type] -> Type
- appliedTupleOrSingletonT :: [Type] -> Type
- appliedTupleE :: [Exp] -> Exp
- appliedTupleOrSingletonE :: [Exp] -> Exp
- indexName :: Int -> Name
- enumNames :: Int -> [Name]
- aName :: Name
- bName :: Name
- cName :: Name
- eqConstraintT :: Name -> Type -> Type