next node: [ e ] to [ v ],
prev node: Function Index By Codomain,
up to node: Function Index By Codomain


Function Index By Codomain [ a ] to [ d ]

[ a ] [ b ] [ c ] [ d ] [ e ] [ g ] [ i ] [ k ] [ l ] [ m ] [ n ] [ o ] [ r ] [ s ] [ t ] [ v ]

a

alpha < method[sto, bool] -> alpha ** alpha -> bool
alpha = method[sto, bool] -> alpha ** alpha -> bool
alpha code lazy -> () -> alpha
alpha content value -> alpha
alpha eval lazy -> alpha
alpha print method[value, com[void], output] -> output ** alpha -> com[void]
alpha print method[value, denotation] -> alpha -> denotation

b

bool < alpha ** alpha -> bool
bool < dom ** dom -> bool
bool < kind ** kind -> bool
bool < method[sto, bool] -> alpha ** alpha -> bool
bool < name ** name -> bool
bool < sort ** sort -> bool
bool < struct ** struct -> bool
bool < type ** type -> bool
bool <? sto -> bool
bool = alpha ** alpha -> bool
bool = fct ** fct -> bool
bool = ident ** ident -> bool
bool = inst ** inst -> bool
bool = kind ** kind -> bool : [1], [2]
bool = method[sto, bool] -> alpha ** alpha -> bool
bool = name ** name -> bool : [1], [2]
bool = object ** denotation ** kind -> bool
bool = origin ** origin -> bool
bool = sort ** sort -> bool
bool = struct ** struct -> bool
bool = type ** type -> bool
bool =? sto -> bool
bool applicable? value ** value -> bool
bool basic? type -> bool
bool discriminator variant -> value -> bool
bool dynamic? struct ** name ** (pragma -> bool) -> bool
bool dynamic? struct ** name -> bool
bool dynamic? struct ** nat ** (pragma -> bool) -> bool
bool dynamic? struct ** nat -> bool
bool freeType? sort -> bool
bool freeType? type -> bool
bool function? type -> bool
bool method? method -> bool : [1], [2]
bool name? name -> bool
bool nat sto -> bool
bool product? type -> bool
bool reflects? value -> bool
bool sort? kind -> bool
bool sort? sort -> bool
bool struct? struct -> bool
bool value? kind -> bool
bool variant? variant -> bool

c

cache cache (dom -> codom) ** map[dom, <, codom] -> cache
cache cache (dom -> codom) -> cache
cache[denotation, <, option[interOpal]] interOpalRepository cache[denotation, <, option[interOpal]]
codom ! cache ** dom -> codom
com[interOpal] ok? denotation -> option[interOpal] -> com[interOpal]
com[option[interOpal]] loadInterOpal denotation -> com[option[interOpal]]
com[void] nat method[value, com[void], output] -> output ** nat -> com[void]
com[void] print method[value, com[void], output] -> output ** alpha -> com[void]
com[void] print output ** alpha -> com[void]
com[void] printDefault output ** value -> com[void]
coreReflection sort denotation ** denotation ** instances -> coreReflection
coreReflection value denotation ** denotation ** instances ** coreType -> coreReflection
coreType :: coreType ** coreType -> coreType
coreType <> coreType
coreType basic coreReflection -> coreType
coreType function coreType ** coreType -> coreType

d

denotation ` kind -> denotation
denotation ` name -> denotation
denotation ` sort -> denotation
denotation ` struct -> denotation
denotation ` type -> denotation
denotation baseName denotation -> denotation
denotation getModuleNameAsDeno interOpal ** name -> denotation
denotation getNameAsDeno interOpal ** name -> denotation
denotation identifier name -> denotation
denotation identifier struct -> denotation
denotation nat method[value, denotation] -> nat -> denotation
denotation print alpha -> denotation
denotation print method[value, denotation] -> alpha -> denotation


next node: [ e ] to [ v ],
prev node: Function Index By Codomain,
up to node: Function Index By Codomain