polysemy-scoped-fs-0.1.0.0: Well-typed filesystem operation effects.

Index

Absolute 
1 (Type/Class)Polysemy.SequentialAccess
2 (Data Constructor)Polysemy.SequentialAccess
AccessPolysemy.FS.Scoped
AccessModePolysemy.FS.Scoped
Append 
1 (Type/Class)Polysemy.SequentialAccess
2 (Data Constructor)Polysemy.SequentialAccess
3 (Type/Class)Polysemy.SequentialAccess.ByteString
4 (Type/Class)Polysemy.SequentialAccess.Text
appendPolysemy.SequentialAccess
AppendAccessPolysemy.FS.Scoped
appendAccessToIO 
1 (Function)Polysemy.FS.Scoped.ByteString
2 (Function)Polysemy.FS.Scoped.Text
appendFilePolysemy.FS.Scoped.Oneshot
appendFile_singlePolysemy.FS.Scoped.Oneshot
bundlePolysemy.Scoped.Path.Internal
BytesFormatPolysemy.FS.Scoped
ClearPolysemy.SequentialAccess.Text
clearToIOPolysemy.FS.Scoped.Text.Internal
Cursor 
1 (Type/Class)Polysemy.SequentialAccess.ByteString
2 (Type/Class)Polysemy.SequentialAccess.Text
cursorToIO 
1 (Function)Polysemy.FS.Scoped.ByteString.Internal
2 (Function)Polysemy.FS.Scoped.Text.Internal
EmptyMembersProofPolysemy.FS.Scoped.Internal.MembersProof
EndPolysemy.SequentialAccess
EndsPolysemy.SequentialAccess
Env 
1 (Type/Class)Polysemy.Env
2 (Data Constructor)Polysemy.Env
envPolysemy.Env
EOFPolysemy.SequentialAccess
Extend 
1 (Type/Class)Polysemy.SequentialAccess
2 (Data Constructor)Polysemy.SequentialAccess
3 (Type/Class)Polysemy.SequentialAccess.Text
extendPolysemy.SequentialAccess
extendFilePolysemy.FS.Scoped.Oneshot
extendFile_singlePolysemy.FS.Scoped.Oneshot
extendToIOPolysemy.FS.Scoped.Text.Internal
FormatPolysemy.FS.Scoped
FromEnd 
1 (Type/Class)Polysemy.SequentialAccess
2 (Data Constructor)Polysemy.SequentialAccess
fsReadToScopedReadPolysemy.FS.Scoped.Oneshot
fsWriteToScopedWritePolysemy.FS.Scoped.Oneshot
GetPosition 
1 (Type/Class)Polysemy.SequentialAccess
2 (Data Constructor)Polysemy.SequentialAccess
3 (Type/Class)Polysemy.SequentialAccess.ByteString
4 (Type/Class)Polysemy.SequentialAccess.Text
getPositionPolysemy.SequentialAccess
injScopedPPolysemy.Scoped.Path
InnerPolysemy.Scoped.Path.Isolation
innerScopedPPolysemy.Scoped.Path
inputToEnvPolysemy.Env
inputToReadPolysemy.SequentialAccess
InScopePolysemy.Scoped.Path.Internal
inScopePolysemy.Scoped.Path.Isolation
inScope_singlePolysemy.Scoped.Path.Isolation
IntermediatePolysemy.SequentialAccess
interpretH'Polysemy.Scoped.Path.Internal
isolatingScopedPPolysemy.Scoped.Path.Isolation
isolatingScopedPSubPolysemy.Scoped.Path.Isolation
isolatingScopedPSubUsingPolysemy.Scoped.Path.Isolation
Line 
1 (Type/Class)Polysemy.SequentialAccess.Text
2 (Data Constructor)Polysemy.SequentialAccess.Text
MembersProof 
1 (Type/Class)Polysemy.FS.Scoped.Internal.MembersProof
2 (Data Constructor)Polysemy.FS.Scoped.Internal.MembersProof
membersProofPolysemy.FS.Scoped.Internal.MembersProof
membersProofIdPolysemy.FS.Scoped.Internal.MembersProof
ModePolysemy.FS.Scoped
NullSize 
1 (Type/Class)Polysemy.SequentialAccess
2 (Data Constructor)Polysemy.SequentialAccess
OuterPolysemy.Scoped.Path.Isolation
outputToAppendPolysemy.SequentialAccess
outputToExtendPolysemy.SequentialAccess
outputToOverwritePolysemy.SequentialAccess
outScopePolysemy.Scoped.Path.Isolation
Overwrite 
1 (Type/Class)Polysemy.SequentialAccess
2 (Data Constructor)Polysemy.SequentialAccess
3 (Type/Class)Polysemy.SequentialAccess.ByteString
overwritePolysemy.SequentialAccess
overwriteFilePolysemy.FS.Scoped.Oneshot
overwriteFile_singlePolysemy.FS.Scoped.Oneshot
overwriteToIOPolysemy.FS.Scoped.ByteString.Internal
Read 
1 (Type/Class)Polysemy.SequentialAccess
2 (Data Constructor)Polysemy.SequentialAccess
readPolysemy.SequentialAccess
ReadAccessPolysemy.FS.Scoped
readAccessToIO 
1 (Function)Polysemy.FS.Scoped.ByteString
2 (Function)Polysemy.FS.Scoped.Text
ReadBytesPolysemy.SequentialAccess.ByteString
readFilePolysemy.FS.Scoped.Oneshot
readFile_singlePolysemy.FS.Scoped.Oneshot
ReadLinePolysemy.SequentialAccess.Text
ReadToEnd 
1 (Type/Class)Polysemy.SequentialAccess
2 (Type/Class)Polysemy.SequentialAccess.ByteString
3 (Type/Class)Polysemy.SequentialAccess.Text
readToIO 
1 (Function)Polysemy.FS.Scoped.ByteString.Internal
2 (Function)Polysemy.FS.Scoped.Text.Internal
Relative 
1 (Type/Class)Polysemy.SequentialAccess
2 (Data Constructor)Polysemy.SequentialAccess
Resize 
1 (Type/Class)Polysemy.SequentialAccess
2 (Data Constructor)Polysemy.SequentialAccess
3 (Type/Class)Polysemy.SequentialAccess.ByteString
resizePolysemy.SequentialAccess
resizeToIOPolysemy.FS.Scoped.ByteString.Internal
restoreCursorPolysemy.FS.Scoped.Text.Internal
rewriterToTransformerPolysemy.FS.Scoped
rewriteScopedFilePolysemy.FS.Scoped
RunPolysemy.Scoped.Path.Internal
runEnvConstPolysemy.Env
runScopedFilePolysemy.FS.Scoped.Internal, Polysemy.FS.Scoped
runScopedPPolysemy.Scoped.Path
runScopedReaderPolysemy.ScopedReader
RwAccessPolysemy.FS.Scoped
rwAccessToIO 
1 (Function)Polysemy.FS.Scoped.ByteString
2 (Function)Polysemy.FS.Scoped.Text
ScopedPolysemy.Scoped.Path
scopedPolysemy.Scoped.Path
scopedBinaryFileToIOPolysemy.FS.Scoped.ByteString.Internal
ScopedEffectPolysemy.ScopedReader
scopedEffectPolysemy.ScopedReader
ScopedFile 
1 (Type/Class)Polysemy.FS.Scoped.Internal, Polysemy.FS.Scoped
2 (Data Constructor)Polysemy.FS.Scoped.Internal
scopedFilePolysemy.FS.Scoped
scopedFileToIOPolysemy.FS.Scoped.Internal
scopedFile_bundlePolysemy.FS.Scoped
scopedFile_singlePolysemy.FS.Scoped
ScopedFix 
1 (Type/Class)Polysemy.ScopedReader
2 (Data Constructor)Polysemy.ScopedReader
scopedFixPolysemy.ScopedReader
ScopedFixPPolysemy.ScopedReader
scopedLocalPolysemy.ScopedReader
ScopedPPolysemy.Scoped.Path.Internal, Polysemy.Scoped.Path
scopedPPolysemy.Scoped.Path
scopedP_localPolysemy.Scoped.Path
scopedP_simplePolysemy.Scoped.Path
ScopedReaderPolysemy.ScopedReader
scopedReaderPolysemy.ScopedReader
scopedTextFileToIOPolysemy.FS.Scoped.Text.Internal
ScopeSidePolysemy.Scoped.Path.Isolation
Seek 
1 (Type/Class)Polysemy.SequentialAccess
2 (Data Constructor)Polysemy.SequentialAccess
3 (Type/Class)Polysemy.SequentialAccess.ByteString
4 (Type/Class)Polysemy.SequentialAccess.Text
seekPolysemy.SequentialAccess
seekToBeginPolysemy.FS.Scoped.Internal
seekToEndPolysemy.FS.Scoped.Internal
sendBundleSListPolysemy.FS.Scoped.Internal
sendBundleSListUsingProofPolysemy.FS.Scoped.Internal
sendBundleUsingPolysemy.FS.Scoped.Internal
sendBundle_Polysemy.FS.Scoped.Internal, Polysemy.FS.Scoped
subsumeBundleUsingPolysemy.Scoped.Path.Internal
subsumeBundle_idPolysemy.Scoped.Path.Internal
TextFormatPolysemy.FS.Scoped
ToEnd 
1 (Type/Class)Polysemy.SequentialAccess
2 (Data Constructor)Polysemy.SequentialAccess
TOFPolysemy.SequentialAccess
toSomeBasePolysemy.FS.Scoped.Oneshot
transformerToRewriterPolysemy.FS.Scoped
transformScopedPPolysemy.Scoped.Path
TriPositionPolysemy.SequentialAccess
unbundlePolysemy.Scoped.Path.Internal
unbundleScopedPPolysemy.Scoped.Path
unScopedFilePolysemy.FS.Scoped.Internal
weakenBundlePolysemy.Scoped.Path.Internal
weakenIdMPPolysemy.FS.Scoped.Internal.MembersProof
weakenMembershipPolysemy.Scoped.Path.Internal
weakenMembership'Polysemy.Scoped.Path.Internal
weakenRightMPPolysemy.FS.Scoped.Internal.MembersProof
weakenScopedPPolysemy.Scoped.Path
WriteAccessPolysemy.FS.Scoped
writeAccessToIO 
1 (Function)Polysemy.FS.Scoped.ByteString
2 (Function)Polysemy.FS.Scoped.Text