Cryptol.Parser.Fixity

Description

Synopsis

Documentation

Constructors

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

Instances

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 -> () #
type Rep Fixity Source #
Instance details Defined in Cryptol.Parser.Fixity type Rep Fixity = D1 (MetaData "Fixity" "Cryptol.Parser.Fixity" "cryptol-2.7.0-6VD9sMh08R1JPrYSq7DH8b" 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

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 #