Class: Kleisli::Contracts::KContract

Inherits:

CallableClass

Object
CallableClass
Kleisli::Contracts::KContract

show all

Defined in:: lib/kleisli/contracts.rb

Direct Known Subclasses

EitherOf, MaybeOf

Instance Method Summary collapse

#initialize(*inner_types) ⇒ KContract constructor

A new instance of KContract.

Constructor Details

#initialize(*inner_types) ⇒ `KContract`

Returns a new instance of KContract.



15
16
17

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

def initialize(*inner_types)
  @inner_types = inner_types
end