Searched refs:FixityLevel (Results 1 – 6 of 6) sorted by relevance
354 , sectLevel :: Maybe FixityLevel
2434 data FixityLevel type2441 instance Null FixityLevel where2446 instance NFData FixityLevel where2460 , fixityLevel :: !FixityLevel2526 _fixityLevel :: Lens' FixityLevel Fixity
417 level :: NewNotation -> FixityLevel
616 instance Pretty FixityLevel where
349 instance EmbPrj FixityLevel where
238 instance ToTerm FixityLevel where