free-foil-0.4.0: Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads)
Contents
Index
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
Z
:
All
Index - R
rawBindingName
Control.Monad.Free.Foil.TH.MkFreeFoil
rawFreshName
Control.Monad.Foil.Internal
rawFreshNameIn
Control.Monad.Foil.Internal
rawIdentName
Control.Monad.Free.Foil.TH.MkFreeFoil
rawMember
Control.Monad.Foil.Internal
RawName
Control.Monad.Foil.Internal
,
Control.Monad.Foil
rawNameBinderList
Control.Monad.Foil.Internal
rawQuantifiedNames
Control.Monad.Free.Foil.TH.MkFreeFoil
RawScope
Control.Monad.Foil.Internal
rawScopeName
Control.Monad.Free.Foil.TH.MkFreeFoil
rawScopeToTermName
Control.Monad.Free.Foil.TH.MkFreeFoil
rawSubScopeNames
Control.Monad.Free.Foil.TH.MkFreeFoil
rawSubTermNames
Control.Monad.Free.Foil.TH.MkFreeFoil
rawTermName
Control.Monad.Free.Foil.TH.MkFreeFoil
rawTermToScopeName
Control.Monad.Free.Foil.TH.MkFreeFoil
rawVarConName
Control.Monad.Free.Foil.TH.MkFreeFoil
rawVarIdentToTermName
Control.Monad.Free.Foil.TH.MkFreeFoil
rbind
Control.Monad.Foil.Relative
RCons
Control.Monad.Foil.Internal
reallyUnsafeSetNameBindersRaw
Control.Monad.Foil.Internal
refreshAST
Control.Monad.Free.Foil
refreshScopedAST
Control.Monad.Free.Foil
RegionLayout
1 (Type/Class)
Control.Monad.Foil.Registry
2 (Data Constructor)
Control.Monad.Foil.Registry
regionsAbove
Control.Monad.Foil.Registry
RegionsPerUnit
1 (Type/Class)
Control.Monad.Foil.Registry
2 (Data Constructor)
Control.Monad.Foil.Registry
RegionWidth
1 (Type/Class)
Control.Monad.Foil.Registry
2 (Data Constructor)
Control.Monad.Foil.Registry
registerUnit
Control.Monad.Foil.Registry
Registry
Control.Monad.Foil.Registry
registrySize
Control.Monad.Foil.Registry
RelMonad
Control.Monad.Foil.Relative
relocateConstants
Control.Monad.Free.Foil.Artifact
removeName
Control.Monad.Foil.TH.Util
RenameBothBinders
Control.Monad.Foil.Internal
,
Control.Monad.Foil
renamedId
Control.Monad.Free.Foil
RenameLeftNameBinder
Control.Monad.Foil.Internal
,
Control.Monad.Foil
RenameRightNameBinder
Control.Monad.Foil.Internal
,
Control.Monad.Foil
RenamingsK
Control.Monad.Foil.Internal
ReqsZipMatch
Data.ZipMatchK.Generic
ReqsZipMatchFieldsWith
Data.ZipMatchK.Generic
ReqsZipMatchWith
Data.ZipMatchK.Generic
resumeBlock
Control.Monad.Foil.Blocks
RNil
Control.Monad.Foil.Internal
rreturn
Control.Monad.Foil.Relative
RSkip
Control.Monad.Foil.Internal