MonadTrans

public protocol MonadTrans : Monad

A monad transformer makes a new monad out of an existing monad, such that computations of the old monad may be embedded in the new one.

  • The input type parameter of this transformer.

    Declaration

    Swift

    associatedtype F : Monad
  • Lift a computation from the F monad to the constructed monad.

    Declaration

    Swift

    static func liftF<A>(_ fa: Kind<F, A>) -> Kind<Self, A>