autolift
Type class witnessing that FA is a higher-kinded type.
Type class supporting checking if all of some type defined by Function evaluate to true within a nested stack of type
constructors.
Type class supporting checking if all of some type defined by Function evaluate to true 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.
Type class supporting checking if at least one of a type defined by Function evaluate to true within a nested stack of
type constructors.
Type class supporting checking if at least one of a type defined by Function evaluate to true 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.
Type class supporting folding over a stack of nested type constructors given that the inner most type has an instance of Monoid.
Type class supporting folding over a stack of nested type constructors given that the inner most type has an instance of Monoid.
The types to be folded.
Type class supporting folding on a stack of type constructors up to and included a type F but nothing more.
Type class supporting folding on a stack of type constructors up to and included a type F but nothing more.
The type constructor up to which folding should occur.
the types to fold over.
Type class supporting folding over a nested stack of type constructors given a mapping from a type to something which has a Monoid.
Type class supporting folding over a nested stack of type constructors given a mapping from a type to something which has a Monoid.
The types to be folded.
The function over which to map and then fold.
Type class supporting the applicative mapping of a type over another type of arbitrary nested type constructors.
Type class supporting the applicative mapping of a type over another type of arbitrary nested type constructors.
The type of object to be lifted into.
Type class supporting flat mapping a function over an arbitrary nesting of type constructors.
Type class supporting flat mapping a function over an arbitrary nesting of type constructors.
The type to be lifted into.
Type class supporting the mapping over an arbitrary nesting of type constructors.
Type class supporting the mapping over an arbitrary nesting of type constructors.
the type to be lifted into.
the function to be lifted.
Type class supporting folding over an arbitrary nesting of type constructors.
Type class supporting folding over an arbitrary nesting of type constructors.
The type to be lifted into.
Type class supporting folding over a nested type constructor up to and including a type constructor.
Type class supporting folding over a nested type constructor up to and including a type constructor.
The type at which to stop folding.
The type over which to lift the folding.
Type class supporting foldLeft over an arbitrary nesting of type constructors given an initial value and a function.
Type class supporting foldLeft over an arbitrary nesting of type constructors given an initial value and a function.
The type to be lifted into.
The 2-airy function to be lifted.
The initial value of the fold.
Type class supporting fold over an arbitrary nesting of type constructors given a function which maps initial types to some other type defined with a Monoid.
Type class supporting fold over an arbitrary nesting of type constructors given a function which maps initial types to some other type defined with a Monoid.
The function to be used to map values.
Type class supporting foldRight over an arbitrary nesting of type constructors given an initial value and a function.
Type class supporting foldRight over an arbitrary nesting of type constructors given an initial value and a function.
The 2-airy function to be lifted.
The initial value of the fold.
Type class supporting mapping of a function over a specific higher-kinded type within a nested type constructor.
Type class supporting mapping of a function over a specific higher-kinded type within a nested type constructor.
the higher-kinded type to lift the function into.
the type over which the function will be lifted.
the type of the function which will be lifted.
Type class supporting a nested stack of type constructors can behave as an instance of a single Applicative and thus apply a function over them.
Type class supporting a nested stack of type constructors can behave as an instance of a single Applicative and thus apply a function over them.
The type stacks
The function to be applicatively applied.
Type class supporting a nested stack of type constructors can behave as an instance of a single Functor and thus map a function over them.
Type class supporting a nested stack of type constructors can behave as an instance of a single Functor and thus map a function over them.
The type stacks
The function to be mapped.
Type class witnessing that
FAis a higher-kinded type.The type to witness.