Home
last modified time | relevance | path

Searched defs:mapModality (Results 1 – 4 of 4) sorted by relevance

/dports/graphics/dcmtk/dcmtk-DCMTK-3.6.6/dcmsr/libcmr/
H A Dcid29e.cc47 DSRCodedEntryValue CID29e_AcquisitionModality::mapModality(const OFString &definedTerm, in mapModality() function in CID29e_AcquisitionModality
58 OFCondition CID29e_AcquisitionModality::mapModality(const OFString &definedTerm, in mapModality() function in CID29e_AcquisitionModality
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Free/
H A DLazy.hs225 mapModality f (VarOcc x r) = VarOcc x $ f r function
410 mapModality f e = e { feModality = f (feModality e) } function
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/
H A DCommon.hs532 mapModality f = mapArgInfo $ \ ai -> ai { argInfoModality = f $ argInfoModality ai } function
537 mapModality = id function
1659 mapModality f ai = ai { argInfoModality = f (argInfoModality ai) } function
1858 mapModality = mapModalityArgInfo function
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DBase.hs1383 mapModality f mi = mi { miModality = f $ miModality mi } function
1420 mapModality f mv = mv { mvInfo = mapModality f $ mvInfo mv } function
2976 mapModality f e = e { envModality = setCohesion defaultCohesion $ f $ envModality e } function