RandRange | DDF.Util |
randRange | DDF.Util |
recip | DDF.Lang |
recip1 | DDF.Lang |
refl | DDF.ImportMeta, DDF.DBI, DDF.Double, DDF.Float, DDF.Option, DDF.Prod, DDF.Dual, DDF.Map, DDF.Char, DDF.Bool, DDF.Bimap, DDF.Lang |
Reify | DDF.Lang |
reify | DDF.Lang |
return | DDF.DBI, DDF.Double, DDF.Float, DDF.Option, DDF.Prod, DDF.Dual, DDF.Map, DDF.Char, DDF.Bool, DDF.Bimap, DDF.Lang |
right | DDF.Lang |
runDual | |
1 (Function) | DDF.Meta.Dual |
2 (Function) | DDF.Dual, DDF.Lang |
runEval | DDF.Eval |
runGWDiff | DDF.GWDiff |
RunImpW | |
1 (Type/Class) | DDF.ImpW |
2 (Data Constructor) | DDF.ImpW |
runImpW | DDF.ImpW |
runImpW2RunImpWR | DDF.ImpW |
RunImpWR | DDF.ImpW |
runImpWR2RunImpW | DDF.ImpW |
runShow | DDF.Show |
runSize | DDF.Size |
runState | DDF.Lang |
runState1 | DDF.Lang |
runState2 | DDF.Lang |
runUnHOAS | DDF.UnHOAS |
runWDiff | DDF.WDiff |
runWriter | DDF.Lang |
runWriter1 | DDF.Lang |