capability-0.4.0.0: Extensional capabilities and deriving combinators

Index

:.: 
1 (Type/Class)Capability.Accessors, Capability.State, Capability.Source, Capability.Sink, Capability.Stream, Capability.Reader, Capability.Error, Capability.Writer
2 (Data Constructor)Capability.Accessors, Capability.State, Capability.Source, Capability.Sink, Capability.Stream, Capability.Reader, Capability.Error, Capability.Writer
AllCapability.Constraints
askCapability.Reader
asksCapability.Reader
awaitCapability.Source
awaitsCapability.Source
await_Capability.Source
CapabilityCapability.Constraints
catchCapability.Error
catchJustCapability.Error
catchJust_Capability.Error
catch_Capability.Error
Coerce 
1 (Type/Class)Capability.Accessors, Capability.State, Capability.Source, Capability.Sink, Capability.Stream, Capability.Reader, Capability.Error, Capability.Writer
2 (Data Constructor)Capability.Accessors, Capability.State, Capability.Source, Capability.Sink, Capability.Stream, Capability.Reader, Capability.Error, Capability.Writer
ConstraintCapability.Constraints
Ctor 
1 (Type/Class)Capability.Accessors, Capability.State, Capability.Source, Capability.Sink, Capability.Stream, Capability.Reader, Capability.Error, Capability.Writer
2 (Data Constructor)Capability.Accessors, Capability.State, Capability.Source, Capability.Sink, Capability.Stream, Capability.Reader, Capability.Error, Capability.Writer
deriveCapability.Derive
Dict 
1 (Data Constructor)Capability.Constraints
2 (Type/Class)Capability.Constraints
displayExceptionCapability.Error
ExceptionCapability.Error
Field 
1 (Type/Class)Capability.Accessors, Capability.State, Capability.Source, Capability.Sink, Capability.Stream, Capability.Reader, Capability.Error, Capability.Writer
2 (Data Constructor)Capability.Accessors, Capability.State, Capability.Source, Capability.Sink, Capability.Stream, Capability.Reader, Capability.Error, Capability.Writer
fromExceptionCapability.Error
getCapability.State
getsCapability.State
HasCatchCapability.Error
HasCatch'Capability.Error
HasReaderCapability.Reader
HasReader'Capability.Reader
HasSinkCapability.Sink
HasSink'Capability.Sink
HasSourceCapability.Source
HasSource'Capability.Source
HasStateCapability.State
HasState'Capability.State
HasStreamCapability.Stream
HasStream'Capability.Stream
HasThrowCapability.Error
HasThrow'Capability.Error
HasWriterCapability.Writer
HasWriter'Capability.Writer
interpretCapability.Reflection
interpret_Capability.Reflection
Lift 
1 (Type/Class)Capability.Accessors, Capability.State, Capability.Source, Capability.Sink, Capability.Stream, Capability.Reader, Capability.Error, Capability.Writer
2 (Data Constructor)Capability.Accessors, Capability.State, Capability.Source, Capability.Sink, Capability.Stream, Capability.Reader, Capability.Error, Capability.Writer
listenCapability.Writer
listen_Capability.Writer
localCapability.Reader
local_Capability.Reader
magnifyCapability.Reader
modifyCapability.State
modify'Capability.State
MonadCatch 
1 (Type/Class)Capability.Error
2 (Data Constructor)Capability.Error
MonadError 
1 (Type/Class)Capability.Error
2 (Data Constructor)Capability.Error
MonadReader 
1 (Type/Class)Capability.Source, Capability.Reader
2 (Data Constructor)Capability.Source, Capability.Reader
MonadState 
1 (Type/Class)Capability.State, Capability.Source
2 (Data Constructor)Capability.State, Capability.Source
MonadThrow 
1 (Type/Class)Capability.Error
2 (Data Constructor)Capability.Error
MonadUnliftIO 
1 (Type/Class)Capability.Error
2 (Data Constructor)Capability.Error
passCapability.Writer
pass_Capability.Writer
Pos 
1 (Type/Class)Capability.Accessors, Capability.State, Capability.Source, Capability.Sink, Capability.Stream, Capability.Reader, Capability.Error, Capability.Writer
2 (Data Constructor)Capability.Accessors, Capability.State, Capability.Source, Capability.Sink, Capability.Stream, Capability.Reader, Capability.Error, Capability.Writer
Proxy 
1 (Data Constructor)Capability.Reflection
2 (Type/Class)Capability.Reflection
putCapability.State
readerCapability.Reader
ReaderIORef 
1 (Type/Class)Capability.State, Capability.Source
2 (Data Constructor)Capability.State, Capability.Source
ReaderRef 
1 (Type/Class)Capability.State, Capability.Source
2 (Data Constructor)Capability.State, Capability.Source
reader_Capability.Reader
ReadState 
1 (Type/Class)Capability.Source, Capability.Reader
2 (Data Constructor)Capability.Source, Capability.Reader
ReadStatePure 
1 (Type/Class)Capability.Source, Capability.Reader
2 (Data Constructor)Capability.Source, Capability.Reader
ReflectCapability.Reflection
reflectCapability.Reflection
ReflectedCapability.Reflection
ReifiedCapability.Reflection, Capability.State, Capability.Source, Capability.Sink, Capability.Reader, Capability.Error, Capability.Writer
reifiedCapability.Reflection
ReifiedCatchCapability.Error
ReifiedReaderCapability.Reader
ReifiedSinkCapability.State, Capability.Sink, Capability.Writer
ReifiedSourceCapability.State, Capability.Source, Capability.Reader, Capability.Writer
ReifiedStateCapability.State, Capability.Writer
ReifiedThrowCapability.Error
ReifiedWriterCapability.Writer
ReifiesCapability.Reflection
reifyCapability.Reflection
Rename 
1 (Type/Class)Capability.Accessors, Capability.State, Capability.Source, Capability.Sink, Capability.Stream, Capability.Reader, Capability.Error, Capability.Writer
2 (Data Constructor)Capability.Accessors, Capability.State, Capability.Source, Capability.Sink, Capability.Stream, Capability.Reader, Capability.Error, Capability.Writer
SafeExceptions 
1 (Type/Class)Capability.Error
2 (Data Constructor)Capability.Error
SinkDList 
1 (Type/Class)Capability.Sink
2 (Data Constructor)Capability.Sink
SinkLog 
1 (Type/Class)Capability.Sink, Capability.Writer
2 (Data Constructor)Capability.Sink, Capability.Writer
SinkStack 
1 (Type/Class)Capability.Sink
2 (Data Constructor)Capability.Sink
stateCapability.State
state_Capability.State
StreamDListCapability.Stream
StreamLogCapability.Stream, Capability.Writer
StreamStackCapability.Stream
tellCapability.Writer
throwCapability.Error
throw_Capability.Error
toExceptionCapability.Error
TypeableCapability.Error
TypeOfCapability.TypeOf, Capability.State, Capability.Source, Capability.Sink, Capability.Reader, Capability.Error, Capability.Writer
wrapErrorCapability.Error
writerCapability.Writer
WriterLogCapability.Writer
writer_Capability.Writer
yieldCapability.Sink, Capability.Stream
yield_Capability.Sink
zoomCapability.State
_awaitCapability.State, Capability.Source, Capability.Reader, Capability.Writer
_catchCapability.Error
_catchJustCapability.Error
_catchThrowCapability.Error
_listenCapability.Writer
_localCapability.Reader
_passCapability.Writer
_readerCapability.Reader
_readerSourceCapability.Reader
_stateCapability.State, Capability.Writer
_stateSinkCapability.State, Capability.Writer
_stateSourceCapability.State, Capability.Writer
_throwCapability.Error
_writerCapability.Writer
_writerSinkCapability.Writer
_yieldCapability.State, Capability.Sink, Capability.Writer