Language.Haskell.TH.TypeInterpreter

Documentation

data TypeAtom

Type atom

Constructors

Integer Integer

String String

Name Name

PromotedName Name

Instances

Eq TypeAtom

Methods

(==) :: TypeAtom -> TypeAtom -> Bool

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

Data TypeAtom

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeAtom -> c TypeAtom

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeAtom

toConstr :: TypeAtom -> Constr

dataTypeOf :: TypeAtom -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TypeAtom)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeAtom)

gmapT :: (forall b. Data b => b -> b) -> TypeAtom -> TypeAtom

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeAtom -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeAtom -> r

gmapQ :: (forall d. Data d => d -> u) -> TypeAtom -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeAtom -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeAtom -> m TypeAtom

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeAtom -> m TypeAtom

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeAtom -> m TypeAtom

Show TypeAtom

Methods

showsPrec :: Int -> TypeAtom -> ShowS

show :: TypeAtom -> String

showList :: [TypeAtom] -> ShowS

Lift TypeAtom

Methods

lift :: TypeAtom -> Q Exp

data TypeEquation

Type equation

Constructors

TypeEquation [TypeExp] TypeExp

Instances

Eq TypeEquation

Methods

(==) :: TypeEquation -> TypeEquation -> Bool

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

Data TypeEquation

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeEquation -> c TypeEquation

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeEquation

toConstr :: TypeEquation -> Constr

dataTypeOf :: TypeEquation -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TypeEquation)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeEquation)

gmapT :: (forall b. Data b => b -> b) -> TypeEquation -> TypeEquation

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeEquation -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeEquation -> r

gmapQ :: (forall d. Data d => d -> u) -> TypeEquation -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeEquation -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeEquation -> m TypeEquation

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeEquation -> m TypeEquation

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeEquation -> m TypeEquation

Show TypeEquation

Methods

showsPrec :: Int -> TypeEquation -> ShowS

show :: TypeEquation -> String

showList :: [TypeEquation] -> ShowS

Lift TypeEquation

Methods

lift :: TypeEquation -> Q Exp

data TypeExp

Type expression

Constructors

Atom TypeAtom

Apply TypeExp TypeExp

Variable Name

Function [TypeEquation]

Instances

Eq TypeExp

Methods

(==) :: TypeExp -> TypeExp -> Bool

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

Data TypeExp

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeExp -> c TypeExp

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeExp

toConstr :: TypeExp -> Constr

dataTypeOf :: TypeExp -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TypeExp)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeExp)

gmapT :: (forall b. Data b => b -> b) -> TypeExp -> TypeExp

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeExp -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeExp -> r

gmapQ :: (forall d. Data d => d -> u) -> TypeExp -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeExp -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeExp -> m TypeExp

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeExp -> m TypeExp

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeExp -> m TypeExp

Show TypeExp

Methods

showsPrec :: Int -> TypeExp -> ShowS

show :: TypeExp -> String

showList :: [TypeExp] -> ShowS

Lift TypeExp

Methods

lift :: TypeExp -> Q Exp

pattern Synonym :: Name -> TypeExp -> TypeExp

Synonym

fromType :: Type -> Q TypeExp

Get the type expression for a Type. Attempts to reduce the resulting type expression.

fromName :: Name -> Q TypeExp

Get the type expression for a Name. Attempts to reduce the resulting type expression.

substitute :: Name -> TypeExp -> TypeExp -> TypeExp

substitute name typ exp replaces all occurences of name in exp with typ.

substituteAll :: Map Name TypeExp -> TypeExp -> TypeExp

Just like substitute but for more variables.

reduce :: TypeExp -> TypeExp

Try to reduce the given type expression as much as possible.

match :: TypeExp -> TypeExp -> Maybe (Map Name TypeExp)

match pat input pattern matches input against the given pat.