Package0.5.0.1Control

capability

Extensional capabilities and deriving combinators

Modules

CapabilityA capability is a type class over a monad which specifies the effects that
Capability.AccessorsDefines newtypes that serve as combinators
Capability.ConstraintsThis module defines helper types and type families for working with sets of
Capability.Derive
Capability.ErrorDefines capabilities for actions that may fail or throw exceptions,
Capability.ReaderDefines a capability type class for a reader effect. A reader provides an
Capability.ReflectionUse this module to provide an ad-hoc interpreter for a capability using
Capability.SinkDefines a capability for computations that produce a stream of values
Capability.SourceDefines a capability for computations that consume a stream of values
Capability.StateDefines a capability type class for a state effect. A state capability
Capability.Stream
Capability.TypeOf
Capability.WriterDefines 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