Module: Trither::BasicTypes

Includes:

Contracts::Core

Included in:

Either, Either::Left, Either::Right, Option::None, Option::Some, Try, Try::Failure, Try::Success

Defined in:

lib/trither.rb

Constant Summary

C =

Contracts

Predicate =

C::Func[C::Any => C::Bool]

Func0 =

C::Func[C::None => C::Any]

Func1 =

C::Func[C::Any => C::Any]