class Monads::Success(T)
- Monads::Success(T)
- Monads::Result(T)
- Reference
- Object
Included Modules
Defined in:
monads/result.crConstructors
Instance Method Summary
Instance methods inherited from module Monads::RightBiased(T)
bind(&block : T -> U) : U forall Ubind(lambda : T -> U) : U forall U bind, equal?(rhs : RightBiased) : Bool
equal?(rhs : LeftBiased) : Bool equal?, failure? : Bool failure?, or(monad) or, success? : Bool success?, tee(&block : T -> U) forall U tee, value! : T value!, value_or(element : U) : T forall U
value_or(&block : -> U) : T forall U value_or
Instance methods inherited from class Monads::Result(T)
==(rhs : RightBiased | LeftBiased) : Bool
==,
bind(&block : T -> U) forall Ubind(lambda : T -> U) forall U bind, equal?(rhs : RightBiased | LeftBiased) equal?, failure failure, failure? failure?, fmap(&block : T -> U) forall U fmap, or(monad : Result(U)) forall U or, success? success?, tee(&block : T -> U) forall U tee, value! value!, value_or(element : U) forall U
value_or(&block : -> U) forall U value_or