Class: Kleisli::Contracts::ValidationOf

Inherits:

EitherOf

• Object
• CallableClass
• KContract
• EitherOf
• Kleisli::Contracts::ValidationOf

Defined in:

lib/kleisli/contracts.rb

Instance Method Summary

• #monad_valid(val) ⇒ Object

Methods inherited from EitherOf

#valid?

Methods inherited from KContract

#initialize

Constructor Details

This class inherits a constructor from Kleisli::Contracts::KContract

Instance Method Details

#monad_valid(val) ⇒ Object

# File 'lib/kleisli/contracts.rb', line 45

def monad_valid(val)
  [Kleisli::Validation::Failure, Kleisli::Validation::Success].
    include?(val.class)
end