Witchcraft v0.5.0 Witchcraft.Applicative.Protocol protocol

Summary

Functions

Sequentially seq lifted function(s) to lifted data

Lift a pure value into a type provided by some specemin (usually the zeroth or empty value of that type, but not nessesarily)

Types

applicative :: any
t :: term

Functions

seq(wrapped_value, wrapped_function)

Specs

seq(applicative, (... -> any)) :: any

Sequentially seq lifted function(s) to lifted data.

wrap(specimen, bare)

Specs

wrap(any, any) :: any

Lift a pure value into a type provided by some specemin (usually the zeroth or empty value of that type, but not nessesarily).