zio.test.laws.ZLawsF$.Covariant$
See theCovariant companion class Attributes
- Companion:
- class
- Graph
- Supertypes
- Self type
Members list
Concise view
Type members
Constructs a law from a pure function taking one parameterized value and
two functions that can be composed.
Constructs a law from a pure function taking one parameterized value and
two functions that can be composed.
Attributes
- Graph
- Supertypes
- Self type
Constructs a law from a parameterized value wrapped in two additional
layers that can be flattened.
Constructs a law from a parameterized value wrapped in two additional
layers that can be flattened.
Attributes
- Graph
- Supertypes
- Self type
Constructs a law from a pure function taking a single parameter.
Constructs a law from a pure function taking a single parameter.
Attributes
- Graph
- Supertypes
- Self type
Constructs a law from an effectual function taking a single parameter.
Constructs a law from an effectual function taking a single parameter.
Attributes
- Graph
- Supertypes
- Self type
Constructs a law from a pure function taking two parameters.
Constructs a law from a pure function taking two parameters.
Attributes
- Graph
- Supertypes
- Self type
Constructs a law from an effectual function taking two parameters.
Constructs a law from an effectual function taking two parameters.
Attributes
- Graph
- Supertypes
- Self type
Constructs a law from a pure function taking three parameters.
Constructs a law from a pure function taking three parameters.
Attributes
- Graph
- Supertypes
- Self type
Constructs a law from an effectual function taking three parameters.
Constructs a law from an effectual function taking three parameters.
Attributes
- Graph
- Supertypes
- Self type