free-foil-0.5.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.Internal
,
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.Internal
,
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.Internal
,
Control.Monad.Foil.Relative
RSkip
Control.Monad.Foil.Internal