overloaded-0.3: Overloaded pragmas as a plugin

Index

%%Overloaded.Categories, Overloaded
assocOverloaded.Categories
BicartesianCategoryOverloaded.Categories, Overloaded
Bind 
1 (Type/Class)Overloaded.Do, Overloaded
2 (Data Constructor)Overloaded.Do, Overloaded
CartesianCategoryOverloaded.Categories, Overloaded
CategoryOverloaded.Categories, Overloaded
CategoryWith0Overloaded.Categories
CategoryWith1Overloaded.Categories
CCCOverloaded.Categories, Overloaded
CocartesianCategoryOverloaded.Categories, Overloaded
codeFromLabelOverloaded.CodeLabels, Overloaded
codeFromStringOverloaded.CodeStrings, Overloaded
CommutativeCategoryOverloaded.Categories
Cons 
1 (Type/Class)Overloaded.Lists, Overloaded
2 (Type/Class)Overloaded.Lists.Bidi
cons 
1 (Function)Overloaded.Lists, Overloaded
2 (Function)Overloaded.Lists.Bidi
CoproductOverloaded.Categories, Overloaded
defaultAssocOverloaded.Categories
defaultFromNumeralOverloaded.Numerals, Overloaded
defaultLunitOverloaded.Categories
defaultRunitOverloaded.Categories
defaultSwapOverloaded.Categories
defaultUnassocOverloaded.Categories
defaultUnlunitOverloaded.Categories
defaultUnrunitOverloaded.Categories
distrOverloaded.Categories, Overloaded
DoMethodOverloaded.Do, Overloaded
evalOverloaded.Categories, Overloaded
ExponentialOverloaded.Categories, Overloaded
faninOverloaded.Categories, Overloaded
fanoutOverloaded.Categories, Overloaded
FromCharOverloaded.Chars, Overloaded
fromCharOverloaded.Chars, Overloaded
fromListOverloaded.Lists, Overloaded.Lists.Bidi
FromNatOverloaded.TypeNats, Overloaded
FromNatCOverloaded.TypeNats, Overloaded
FromNaturalOverloaded.Naturals, Overloaded
fromNaturalOverloaded.Naturals, Overloaded
FromNumeralOverloaded.Numerals, Overloaded
fromNumeralOverloaded.Numerals, Overloaded
FromSymbolOverloaded.Symbols, Overloaded
fromSymbolOverloaded.Symbols, Overloaded
FromTypeSymbolOverloaded.TypeSymbols, Overloaded
FromTypeSymbolCOverloaded.TypeSymbols, Overloaded
GeneralizedElementOverloaded.Categories
identityOverloaded.Categories, Overloaded
ifteOverloaded.If, Overloaded
InitialOverloaded.Categories
initialOverloaded.Categories
inlOverloaded.Categories, Overloaded
inrOverloaded.Categories, Overloaded
IsCodeLabelOverloaded.CodeLabels, Overloaded
IsCodeStringOverloaded.CodeStrings, Overloaded
konstOverloaded.Categories
lunitOverloaded.Categories
monadOverloaded.Do, Overloaded
Monad'Overloaded.Do, Overloaded
MonoidalCategoryOverloaded.Categories
NilOverloaded.Lists, Overloaded
nil 
1 (Function)Overloaded.Lists, Overloaded
2 (Function)Overloaded.Lists.Bidi
ObjectOverloaded.Categories
pluginOverloaded.Plugin, Overloaded
ProductOverloaded.Categories, Overloaded
proj1Overloaded.Categories, Overloaded
proj2Overloaded.Categories, Overloaded
Pure 
1 (Type/Class)Overloaded.Do, Overloaded
2 (Data Constructor)Overloaded.Do, Overloaded
runitOverloaded.Categories
SemigroupalCategoryOverloaded.Categories
swapOverloaded.Categories
TensorOverloaded.Categories
TerminalOverloaded.Categories
terminalOverloaded.Categories
Then 
1 (Type/Class)Overloaded.Do, Overloaded
2 (Data Constructor)Overloaded.Do, Overloaded
ToBoolOverloaded.If, Overloaded
toBoolOverloaded.If, Overloaded
transposeOverloaded.Categories, Overloaded
unassocOverloaded.Categories
UnitOverloaded.Categories
unlunitOverloaded.Categories
unrunitOverloaded.Categories
unwrapArrowOverloaded.Categories
WrapArrowOverloaded.Categories
WrappedArrowOverloaded.Categories