Home
last modified time | relevance | path

Searched refs:iSignature (Results 1 – 5 of 5) sorted by relevance

/dports/editors/biew/biew-610/plugins/bin/
H A Dsisx.c38 unsigned char iSignature[4]; member
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Compiler/
H A DCommon.hs92 curDefs = HMap.filter (not . defNoCompilation) . (^. sigDefinitions) . iSignature <$> curIF
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Compiler/MAlonzo/
H A DPrimitives.hs64 defs = HMap.elems $ iSignature i ^. sigDefinitions
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/
H A DImports.hs197 let sig = iSignature i
1068 | (q, def) <- HMap.toList $ iSignature i ^. sigDefinitions,
1193 , iSignature = sig function
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DBase.hs948 , iSignature :: Signature function