Package0.5.0.1Control

capability

Extensional capabilities and deriving combinators

Modules

22 modules

Capability0A capability is a type class over a monad which specifies the effects that
Capability.Accessors7Defines newtypes that serve as combinators
Capability.Constraints4This module defines helper types and type families for working with sets of
Capability.Derive1
Capability.Error23Defines capabilities for actions that may fail or throw exceptions,
Capability.Reader2Defines a capability type class for a reader effect. A reader provides an
Capability.Reflection9Use this module to provide an ad-hoc interpreter for a capability using
Capability.Sink2Defines a capability for computations that produce a stream of values
Capability.Source2Defines a capability for computations that consume a stream of values
Capability.State2Defines a capability type class for a state effect. A state capability
Capability.Stream6
Capability.TypeOf1
Capability.Writer25Defines a capability type class for writer effects. A writer program can

Internal modules · 9

Standard capability type classes for extensional effects and combinators to derive capability instances with little boilerplate.

16 packages