autolift
Type class supporting checking if at least one of a type defined by Function evaluate to true within a nested stack of type constructors.
Function
true
The type constructors over which to evaluate Function
The boolean producing function which will be iterated over the first applicable type with type stack.
Type class supporting checking if at least one of a type defined by
Function
evaluate totrue
within a nested stack of type constructors.The type constructors over which to evaluate
Function
The boolean producing function which will be iterated over the first applicable type with type stack.