Ivory.Language.Syntax.Concrete.QQ.TypeQQ

Documentation

fromTypeDef :: TypeDef -> Q [Dec]

data Class

Constructors

Int

Instances

Eq Class

Defined in Ivory.Language.Syntax.Concrete.QQ.TypeQQ

Methods

(==) :: Class -> Class -> Bool

(/=) :: Class -> Class -> Bool

Ord Class

Defined in Ivory.Language.Syntax.Concrete.QQ.TypeQQ

Methods

compare :: Class -> Class -> Ordering

(<) :: Class -> Class -> Bool

(<=) :: Class -> Class -> Bool

(>) :: Class -> Class -> Bool

(>=) :: Class -> Class -> Bool

max :: Class -> Class -> Class

min :: Class -> Class -> Class

Read Class

Defined in Ivory.Language.Syntax.Concrete.QQ.TypeQQ

Methods

readsPrec :: Int -> ReadS Class

readList :: ReadS [Class]

readPrec :: ReadPrec Class

readListPrec :: ReadPrec [Class]

Show Class

Defined in Ivory.Language.Syntax.Concrete.QQ.TypeQQ

Methods

showsPrec :: Int -> Class -> ShowS

show :: Class -> String

showList :: [Class] -> ShowS

data TyVar

Constructors

TyVar

Fields

• tyVar :: Name
• constraints :: [Class]

Instances

Eq TyVar

Defined in Ivory.Language.Syntax.Concrete.QQ.TypeQQ

Methods

(==) :: TyVar -> TyVar -> Bool

(/=) :: TyVar -> TyVar -> Bool

Ord TyVar

Defined in Ivory.Language.Syntax.Concrete.QQ.TypeQQ

Methods

compare :: TyVar -> TyVar -> Ordering

(<) :: TyVar -> TyVar -> Bool

(<=) :: TyVar -> TyVar -> Bool

(>) :: TyVar -> TyVar -> Bool

(>=) :: TyVar -> TyVar -> Bool

max :: TyVar -> TyVar -> TyVar

min :: TyVar -> TyVar -> TyVar

Show TyVar

Defined in Ivory.Language.Syntax.Concrete.QQ.TypeQQ

Methods

showsPrec :: Int -> TyVar -> ShowS

show :: TyVar -> String

showList :: [TyVar] -> ShowS

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

maybeLiftStored :: 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

Create a procedure type.

liftPromote :: Name -> TTyVar Type

toClass :: Class -> Name

szTy :: Integer -> Type

liftCon :: Name -> TTyVar Type