Language.KURE.Injection

Injection Class

class Injection a b

Monad Injections

injectM

projectM

projectWithFailMsgM

Transformation Injections

injectT

projectT

extractT

promoteT

promoteWithFailMsgT

Rewrite Injections

extractR

promoteR

extractWithFailMsgR

promoteWithFailMsgR