Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data FixityDirection
- data FixityInfo = FixityInfo {}
- defaultFixityInfo :: FixityInfo
- colonFixityInfo :: FixityInfo
- data HackageInfo = HackageInfo (Map String FixityMap) (Map String Int)
- type FixityMap = Map String FixityInfo
- newtype LazyFixityMap = LazyFixityMap [FixityMap]
- lookupFixity :: String -> LazyFixityMap -> Maybe FixityInfo
Documentation
data FixityDirection Source #
Fixity direction.
Instances
data FixityInfo Source #
Fixity information about an infix operator that takes the uncertainty that can arise from conflicting definitions into account.
FixityInfo | |
|
Instances
defaultFixityInfo :: FixityInfo Source #
The lowest level of information we can have about an operator.
colonFixityInfo :: FixityInfo Source #
Fixity info of the built-in colon data constructor.
data HackageInfo Source #
The map of operators declared by each package and the popularity of each package, if available.
Instances
Generic HackageInfo Source # | |
Defined in Ormolu.Fixity.Internal type Rep HackageInfo :: Type -> Type # from :: HackageInfo -> Rep HackageInfo x # to :: Rep HackageInfo x -> HackageInfo # | |
Binary HackageInfo Source # | |
Defined in Ormolu.Fixity.Internal | |
type Rep HackageInfo Source # | |
Defined in Ormolu.Fixity.Internal type Rep HackageInfo = D1 ('MetaData "HackageInfo" "Ormolu.Fixity.Internal" "ormolu-0.5.2.0-x0UOCSxjHB2hJOGbjIN0C" 'False) (C1 ('MetaCons "HackageInfo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map String FixityMap)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map String Int)))) |
type FixityMap = Map String FixityInfo Source #
Map from the operator name to its FixityInfo
.
newtype LazyFixityMap Source #
Instances
Show LazyFixityMap Source # | |
Defined in Ormolu.Fixity.Internal showsPrec :: Int -> LazyFixityMap -> ShowS # show :: LazyFixityMap -> String # showList :: [LazyFixityMap] -> ShowS # |
lookupFixity :: String -> LazyFixityMap -> Maybe FixityInfo Source #
Lookup a FixityInfo
of an operator. This might have drastically
different performance depending on whether this is an "unusual" operator.