Language.KURE.Injection

Injection Class

class Injection a u

Monad Injections

injectM

projectM

projectWithFailMsgM

Transformation Injections

injectT

projectT

extractT

promoteT

projectWithFailMsgT

promoteWithFailMsgT

Rewrite Injections

extractR

promoteR

extractWithFailMsgR

promoteWithFailMsgR