Cryptol.Parser.Fixity

Description

Synopsis

Documentation

Constructors

Fixity
Fields fAssoc :: !Assoc fLevel :: !Int

Instances details

Eq Fixity Source #
Instance details Defined in Cryptol.Parser.Fixity Methods (==) :: Fixity -> Fixity -> Bool (/=) :: Fixity -> Fixity -> Bool
Show Fixity Source #
Instance details Defined in Cryptol.Parser.Fixity Methods showsPrec :: Int -> Fixity -> ShowS show :: Fixity -> String showList :: [Fixity] -> ShowS
Generic Fixity Source #
Instance details Defined in Cryptol.Parser.Fixity Associated Types type Rep Fixity :: Type -> Type Methods from :: Fixity -> Rep Fixity x to :: Rep Fixity x -> Fixity
NFData Fixity Source #
Instance details Defined in Cryptol.Parser.Fixity Methods rnf :: Fixity -> ()
PP Fixity Source #
Instance details Defined in Cryptol.Parser.Fixity Methods ppPrec :: Int -> Fixity -> Doc Source #
type Rep Fixity Source #
Instance details Defined in Cryptol.Parser.Fixity type Rep Fixity = D1 ('MetaData "Fixity" "Cryptol.Parser.Fixity" "cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u" 'False) (C1 ('MetaCons "Fixity" 'PrefixI 'True) (S1 ('MetaSel ('Just "fAssoc") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Assoc) :*: S1 ('MetaSel ('Just "fLevel") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)))

The fixity used when none is provided.

Constructors

Instances details

Eq FixityCmp Source #
Instance details Defined in Cryptol.Parser.Fixity Methods (==) :: FixityCmp -> FixityCmp -> Bool (/=) :: FixityCmp -> FixityCmp -> Bool
Show FixityCmp Source #
Instance details Defined in Cryptol.Parser.Fixity Methods showsPrec :: Int -> FixityCmp -> ShowS show :: FixityCmp -> String showList :: [FixityCmp] -> ShowS