| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ivory.Language.Syntax.Concrete.QQ.TypeQQ
- fromTypeDef :: TypeDef -> Q [Dec]
- data Class = Int
- data TyVar = TyVar {
- tyVar :: Name
- constraints :: [Class]
- type TTyVar a = QStM TyVar a
- fromIntSz :: IntSize -> Name
- fromWordSz :: WordSize -> Name
- fromScope :: Scope -> TTyVar Type
- constrTyVar :: Name -> [Class] -> TTyVar Type
- newTyVar :: String -> [Class] -> TTyVar Type
- mkTyVar :: String -> [Class] -> TTyVar Type
- isBaseType :: Type -> Bool
- maybeAddStored :: Type -> Type
- fromStoredTy :: Type -> TTyVar Type
- fromRef :: Name -> Scope -> Type -> TTyVar Type
- fromArrayTy :: Type -> Either String Integer -> TTyVar Type
- fromStructTy :: String -> TTyVar Type
- fromType :: Type -> TTyVar Type
- fromProcType :: Type -> String -> [(Type, a)] -> Q Dec
- liftPromote :: Name -> TTyVar Type
- toClass :: Class -> Name
- szTy :: Integer -> Type
- liftCon :: Name -> TTyVar Type
Documentation
fromTypeDef :: TypeDef -> Q [Dec] Source
Constructors
| Int |
Constructors
| TyVar | |
Fields
| |
fromWordSz :: WordSize -> Name Source
isBaseType :: Type -> Bool Source
maybeAddStored :: Type -> Type Source
fromStoredTy :: Type -> TTyVar Type Source
fromStructTy :: String -> TTyVar Type Source
liftPromote :: Name -> TTyVar Type Source