Safe Haskell | Safe-Inferred |
---|---|
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
- nameString :: Name -> String
- decimalIndexName :: Int -> Name
- alphabeticIndexName :: Int -> Name
- enumAlphabeticNames :: Int -> [Name]
- mapWithAlphabeticName :: (Name -> a -> b) -> [a] -> [b]
- aName :: Name
- bName :: Name
- cName :: Name
- eqConstraintT :: Name -> Type -> Type
- applicativeChainE :: Exp -> [Exp] -> Exp
- intersperseInfixE :: Exp -> NonEmpty Exp -> Exp
- textLitE :: Text -> Exp
Decs
appliedTupleT :: [Type] -> Type Source #
appliedTupleOrSingletonT :: [Type] -> Type Source #
appliedTupleE :: [Exp] -> Exp Source #
appliedTupleOrSingletonE :: [Exp] -> Exp Source #
nameString :: Name -> String Source #
decimalIndexName :: Int -> Name Source #
alphabeticIndexName :: Int -> Name Source #
enumAlphabeticNames :: Int -> [Name] Source #
mapWithAlphabeticName :: (Name -> a -> b) -> [a] -> [b] Source #
Map every element of a list with a new name.