EitherT

public class EitherT<F, A, B> : EitherTOf<F, A, B>

Undocumented

  • Undocumented

    Declaration

    Swift

    public static func fix(_ fa: EitherTOf<F, A, B>) -> EitherT<F, A, B>
  • Undocumented

    Declaration

    Swift

    public init(_ value: Kind<F, Either<A, B>>)
  • Undocumented

    Declaration

    Swift

    public func fold<C>(_ fa: @escaping (A) -> C, _ fb: @escaping (B) -> C) -> Kind<F, C>
  • Undocumented

    Declaration

    Swift

    public func liftF<C>(_ fc: Kind<F, C>) -> EitherT<F, A, C>
  • Undocumented

    Declaration

    Swift

    public func cata<C>(_ l : @escaping (A) -> C, _ r : @escaping (B) -> C) -> Kind<F, C>
  • Undocumented

    Declaration

    Swift

    public func exists(_ predicate : @escaping (B) -> Bool) -> Kind<F, Bool>
  • Undocumented

    Declaration

    Swift

    public func transform<C, D>(_ f : @escaping (Either<A, B>) -> Either<C, D>) -> EitherT<F, C, D>
  • Undocumented

    Declaration

    Swift

    public func subflatpMap<C>(_ f: @escaping (B) -> Either<A, C>) -> EitherT<F, A, C>
  • Undocumented

    Declaration

    Swift

    public func toOptionT() -> OptionT<F, B>
  • Undocumented

    Declaration

    Swift

    public static func left(_ a: A) -> EitherT<F, A, B>
  • Undocumented

    Declaration

    Swift

    public static func right(_ b: B) -> EitherT<F, A, B>
  • Undocumented

    Declaration

    Swift

    public static func fromEither(_ either: Either<A, B>) -> EitherT<F, A, B>
  • Undocumented

    Declaration

    Swift

    public func semiflatMap<C>(_ f : @escaping (B) -> Kind<F, C>) -> EitherT<F, A, C>