polysemy-scoped-fs-0.1.0.0: Well-typed filesystem operation effects.
Contents
Index
Index
Absolute
1 (Type/Class)
Polysemy.SequentialAccess
2 (Data Constructor)
Polysemy.SequentialAccess
Access
Polysemy.FS.Scoped
AccessMode
Polysemy.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
append
Polysemy.SequentialAccess
AppendAccess
Polysemy.FS.Scoped
appendAccessToIO
1 (Function)
Polysemy.FS.Scoped.ByteString
2 (Function)
Polysemy.FS.Scoped.Text
appendFile
Polysemy.FS.Scoped.Oneshot
appendFile_single
Polysemy.FS.Scoped.Oneshot
bundle
Polysemy.Scoped.Path.Internal
BytesFormat
Polysemy.FS.Scoped
Clear
Polysemy.SequentialAccess.Text
clearToIO
Polysemy.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
EmptyMembersProof
Polysemy.FS.Scoped.Internal.MembersProof
End
Polysemy.SequentialAccess
Ends
Polysemy.SequentialAccess
Env
1 (Type/Class)
Polysemy.Env
2 (Data Constructor)
Polysemy.Env
env
Polysemy.Env
EOF
Polysemy.SequentialAccess
Extend
1 (Type/Class)
Polysemy.SequentialAccess
2 (Data Constructor)
Polysemy.SequentialAccess
3 (Type/Class)
Polysemy.SequentialAccess.Text
extend
Polysemy.SequentialAccess
extendFile
Polysemy.FS.Scoped.Oneshot
extendFile_single
Polysemy.FS.Scoped.Oneshot
extendToIO
Polysemy.FS.Scoped.Text.Internal
Format
Polysemy.FS.Scoped
FromEnd
1 (Type/Class)
Polysemy.SequentialAccess
2 (Data Constructor)
Polysemy.SequentialAccess
fsReadToScopedRead
Polysemy.FS.Scoped.Oneshot
fsWriteToScopedWrite
Polysemy.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
getPosition
Polysemy.SequentialAccess
injScopedP
Polysemy.Scoped.Path
Inner
Polysemy.Scoped.Path.Isolation
innerScopedP
Polysemy.Scoped.Path
inputToEnv
Polysemy.Env
inputToRead
Polysemy.SequentialAccess
InScope
Polysemy.Scoped.Path.Internal
inScope
Polysemy.Scoped.Path.Isolation
inScope_single
Polysemy.Scoped.Path.Isolation
Intermediate
Polysemy.SequentialAccess
interpretH'
Polysemy.Scoped.Path.Internal
isolatingScopedP
Polysemy.Scoped.Path.Isolation
isolatingScopedPSub
Polysemy.Scoped.Path.Isolation
isolatingScopedPSubUsing
Polysemy.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
membersProof
Polysemy.FS.Scoped.Internal.MembersProof
membersProofId
Polysemy.FS.Scoped.Internal.MembersProof
Mode
Polysemy.FS.Scoped
NullSize
1 (Type/Class)
Polysemy.SequentialAccess
2 (Data Constructor)
Polysemy.SequentialAccess
Outer
Polysemy.Scoped.Path.Isolation
outputToAppend
Polysemy.SequentialAccess
outputToExtend
Polysemy.SequentialAccess
outputToOverwrite
Polysemy.SequentialAccess
outScope
Polysemy.Scoped.Path.Isolation
Overwrite
1 (Type/Class)
Polysemy.SequentialAccess
2 (Data Constructor)
Polysemy.SequentialAccess
3 (Type/Class)
Polysemy.SequentialAccess.ByteString
overwrite
Polysemy.SequentialAccess
overwriteFile
Polysemy.FS.Scoped.Oneshot
overwriteFile_single
Polysemy.FS.Scoped.Oneshot
overwriteToIO
Polysemy.FS.Scoped.ByteString.Internal
Read
1 (Type/Class)
Polysemy.SequentialAccess
2 (Data Constructor)
Polysemy.SequentialAccess
read
Polysemy.SequentialAccess
ReadAccess
Polysemy.FS.Scoped
readAccessToIO
1 (Function)
Polysemy.FS.Scoped.ByteString
2 (Function)
Polysemy.FS.Scoped.Text
ReadBytes
Polysemy.SequentialAccess.ByteString
readFile
Polysemy.FS.Scoped.Oneshot
readFile_single
Polysemy.FS.Scoped.Oneshot
ReadLine
Polysemy.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
resize
Polysemy.SequentialAccess
resizeToIO
Polysemy.FS.Scoped.ByteString.Internal
restoreCursor
Polysemy.FS.Scoped.Text.Internal
rewriterToTransformer
Polysemy.FS.Scoped
rewriteScopedFile
Polysemy.FS.Scoped
Run
Polysemy.Scoped.Path.Internal
runEnvConst
Polysemy.Env
runScopedFile
Polysemy.FS.Scoped.Internal
,
Polysemy.FS.Scoped
runScopedP
Polysemy.Scoped.Path
runScopedReader
Polysemy.ScopedReader
RwAccess
Polysemy.FS.Scoped
rwAccessToIO
1 (Function)
Polysemy.FS.Scoped.ByteString
2 (Function)
Polysemy.FS.Scoped.Text
Scoped
Polysemy.Scoped.Path
scoped
Polysemy.Scoped.Path
scopedBinaryFileToIO
Polysemy.FS.Scoped.ByteString.Internal
ScopedEffect
Polysemy.ScopedReader
scopedEffect
Polysemy.ScopedReader
ScopedFile
1 (Type/Class)
Polysemy.FS.Scoped.Internal
,
Polysemy.FS.Scoped
2 (Data Constructor)
Polysemy.FS.Scoped.Internal
scopedFile
Polysemy.FS.Scoped
scopedFileToIO
Polysemy.FS.Scoped.Internal
scopedFile_bundle
Polysemy.FS.Scoped
scopedFile_single
Polysemy.FS.Scoped
ScopedFix
1 (Type/Class)
Polysemy.ScopedReader
2 (Data Constructor)
Polysemy.ScopedReader
scopedFix
Polysemy.ScopedReader
ScopedFixP
Polysemy.ScopedReader
scopedLocal
Polysemy.ScopedReader
ScopedP
Polysemy.Scoped.Path.Internal
,
Polysemy.Scoped.Path
scopedP
Polysemy.Scoped.Path
scopedP_local
Polysemy.Scoped.Path
scopedP_simple
Polysemy.Scoped.Path
ScopedReader
Polysemy.ScopedReader
scopedReader
Polysemy.ScopedReader
scopedTextFileToIO
Polysemy.FS.Scoped.Text.Internal
ScopeSide
Polysemy.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
seek
Polysemy.SequentialAccess
seekToBegin
Polysemy.FS.Scoped.Internal
seekToEnd
Polysemy.FS.Scoped.Internal
sendBundleSList
Polysemy.FS.Scoped.Internal
sendBundleSListUsingProof
Polysemy.FS.Scoped.Internal
sendBundleUsing
Polysemy.FS.Scoped.Internal
sendBundle_
Polysemy.FS.Scoped.Internal
,
Polysemy.FS.Scoped
subsumeBundleUsing
Polysemy.Scoped.Path.Internal
subsumeBundle_id
Polysemy.Scoped.Path.Internal
TextFormat
Polysemy.FS.Scoped
ToEnd
1 (Type/Class)
Polysemy.SequentialAccess
2 (Data Constructor)
Polysemy.SequentialAccess
TOF
Polysemy.SequentialAccess
toSomeBase
Polysemy.FS.Scoped.Oneshot
transformerToRewriter
Polysemy.FS.Scoped
transformScopedP
Polysemy.Scoped.Path
TriPosition
Polysemy.SequentialAccess
unbundle
Polysemy.Scoped.Path.Internal
unbundleScopedP
Polysemy.Scoped.Path
unScopedFile
Polysemy.FS.Scoped.Internal
weakenBundle
Polysemy.Scoped.Path.Internal
weakenIdMP
Polysemy.FS.Scoped.Internal.MembersProof
weakenMembership
Polysemy.Scoped.Path.Internal
weakenMembership'
Polysemy.Scoped.Path.Internal
weakenRightMP
Polysemy.FS.Scoped.Internal.MembersProof
weakenScopedP
Polysemy.Scoped.Path
WriteAccess
Polysemy.FS.Scoped
writeAccessToIO
1 (Function)
Polysemy.FS.Scoped.ByteString
2 (Function)
Polysemy.FS.Scoped.Text