Home
last modified time | relevance | path

Searched refs:fixityAssoc (Results 1 – 7 of 7) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/
H A DNotation.hs333 f : _ | allEqual (map fixityAssoc related) -> fixityAssoc f
H A DCommon.hs2461 , fixityAssoc :: !Associativity function
2477 compare = compare `on` (fixityLevel &&& fixityAssoc)
2524 _fixityAssoc f r = f (fixityAssoc r) <&> \x -> r { fixityAssoc = x }
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Compiler/JS/
H A DCompiler.hs652 [ (mem "assoc", litAssoc $ fixityAssoc fx)
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Concrete/
H A DOperators.hs434 fixityAssoc (notaFixity (sectNotation s)) == ass
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/
H A DPrimitive.hs224 return $ \ Fixity{fixityAssoc = a, fixityLevel = l} ->
H A DErrors.hs1079 case fixityAssoc $ notaFixity nota of
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Compiler/MAlonzo/
H A DCompiler.hs867 [ litAssoc (fixityAssoc fx)