type-machine-0.1.0.2: Type-level functions for record types
Safe HaskellNone
LanguageHaskell2010

TypeMachine.TM.Liftable

Documentation

class LiftableTMFunction f where Source #

Methods

applyTM :: f ~ (a -> b) => (a -> b) -> TM a -> b Source #

Instances

Instances details
LiftableTMFunction (a -> TM b) Source # 
Instance details

Defined in TypeMachine.TM.Liftable

Methods

applyTM :: (a -> TM b) ~ (a0 -> b0) => (a0 -> b0) -> TM a0 -> b0 Source #

LiftableTMFunction (a -> b -> TM c) Source # 
Instance details

Defined in TypeMachine.TM.Liftable

Methods

applyTM :: (a -> b -> TM c) ~ (a0 -> b0) => (a0 -> b0) -> TM a0 -> b0 Source #

LiftableTMFunction (a -> b -> c -> TM d) Source # 
Instance details

Defined in TypeMachine.TM.Liftable

Methods

applyTM :: (a -> b -> c -> TM d) ~ (a0 -> b0) => (a0 -> b0) -> TM a0 -> b0 Source #

LiftableTMFunction (a -> b -> c -> d -> TM e) Source # 
Instance details

Defined in TypeMachine.TM.Liftable

Methods

applyTM :: (a -> b -> c -> d -> TM e) ~ (a0 -> b0) => (a0 -> b0) -> TM a0 -> b0 Source #