free-foil-0.4.0: Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads)

Index - R

rawBindingNameControl.Monad.Free.Foil.TH.MkFreeFoil
rawFreshNameControl.Monad.Foil.Internal
rawFreshNameInControl.Monad.Foil.Internal
rawIdentNameControl.Monad.Free.Foil.TH.MkFreeFoil
rawMemberControl.Monad.Foil.Internal
RawNameControl.Monad.Foil.Internal, Control.Monad.Foil
rawNameBinderListControl.Monad.Foil.Internal
rawQuantifiedNamesControl.Monad.Free.Foil.TH.MkFreeFoil
RawScopeControl.Monad.Foil.Internal
rawScopeNameControl.Monad.Free.Foil.TH.MkFreeFoil
rawScopeToTermNameControl.Monad.Free.Foil.TH.MkFreeFoil
rawSubScopeNamesControl.Monad.Free.Foil.TH.MkFreeFoil
rawSubTermNamesControl.Monad.Free.Foil.TH.MkFreeFoil
rawTermNameControl.Monad.Free.Foil.TH.MkFreeFoil
rawTermToScopeNameControl.Monad.Free.Foil.TH.MkFreeFoil
rawVarConNameControl.Monad.Free.Foil.TH.MkFreeFoil
rawVarIdentToTermNameControl.Monad.Free.Foil.TH.MkFreeFoil
rbindControl.Monad.Foil.Relative
RConsControl.Monad.Foil.Internal
reallyUnsafeSetNameBindersRawControl.Monad.Foil.Internal
refreshASTControl.Monad.Free.Foil
refreshScopedASTControl.Monad.Free.Foil
RegionLayout 
1 (Type/Class)Control.Monad.Foil.Registry
2 (Data Constructor)Control.Monad.Foil.Registry
regionsAboveControl.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
registerUnitControl.Monad.Foil.Registry
RegistryControl.Monad.Foil.Registry
registrySizeControl.Monad.Foil.Registry
RelMonadControl.Monad.Foil.Relative
relocateConstantsControl.Monad.Free.Foil.Artifact
removeNameControl.Monad.Foil.TH.Util
RenameBothBindersControl.Monad.Foil.Internal, Control.Monad.Foil
renamedIdControl.Monad.Free.Foil
RenameLeftNameBinderControl.Monad.Foil.Internal, Control.Monad.Foil
RenameRightNameBinderControl.Monad.Foil.Internal, Control.Monad.Foil
RenamingsKControl.Monad.Foil.Internal
ReqsZipMatchData.ZipMatchK.Generic
ReqsZipMatchFieldsWithData.ZipMatchK.Generic
ReqsZipMatchWithData.ZipMatchK.Generic
resumeBlockControl.Monad.Foil.Blocks
RNilControl.Monad.Foil.Internal
rreturnControl.Monad.Foil.Relative
RSkipControl.Monad.Foil.Internal