Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- data OpName
- pattern OpName :: Text -> OpName
- unOpName :: OpName -> Text
- occOpName :: OccName -> OpName
- data FixityDirection
- data FixityInfo = FixityInfo {}
- defaultFixityInfo :: FixityInfo
- colonFixityInfo :: FixityInfo
- data HackageInfo = HackageInfo (Map PackageName FixityMap) (Map PackageName Int)
- type FixityMap = Map OpName FixityInfo
- newtype LazyFixityMap = LazyFixityMap [FixityMap]
- lookupFixity :: OpName -> LazyFixityMap -> Maybe FixityInfo
Documentation
An operator name.
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.
HackageInfo | |
|
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.6.0.0-CdKTXKE5wIY1sNSKzNyC3P" 'False) (C1 ('MetaCons "HackageInfo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map PackageName FixityMap)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map PackageName Int)))) |
type FixityMap = Map OpName 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 :: OpName -> LazyFixityMap -> Maybe FixityInfo Source #
Lookup a FixityInfo
of an operator. This might have drastically
different performance depending on whether this is an "unusual" operator.