Cryptol.Utils.Fixity

Description

Synopsis

Documentation

Information about associativity.

Constructors

Instances details

Eq Assoc Source #
Instance details Defined in Cryptol.Utils.Fixity Methods (==) :: Assoc -> Assoc -> Bool # (/=) :: Assoc -> Assoc -> Bool #
Show Assoc Source #
Instance details Defined in Cryptol.Utils.Fixity Methods showsPrec :: Int -> Assoc -> ShowS # show :: Assoc -> String # showList :: [Assoc] -> ShowS #
Generic Assoc Source #
Instance details Defined in Cryptol.Utils.Fixity Associated Types type Rep Assoc :: Type -> Type # Methods from :: Assoc -> Rep Assoc x # to :: Rep Assoc x -> Assoc #
NFData Assoc Source #
Instance details Defined in Cryptol.Utils.Fixity Methods rnf :: Assoc -> () #
PP Assoc Source #
Instance details Defined in Cryptol.Utils.PP Methods ppPrec :: Int -> Assoc -> Doc Source #
type Rep Assoc Source #
Instance details Defined in Cryptol.Utils.Fixity type Rep Assoc = D1 ('MetaData "Assoc" "Cryptol.Utils.Fixity" "cryptol-2.11.0-KBQWpCBm4GD4lGHyVVV39L" 'False) (C1 ('MetaCons "LeftAssoc" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RightAssoc" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NonAssoc" 'PrefixI 'False) (U1 :: Type -> Type)))

Constructors

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

Instances details

Eq Fixity Source #
Instance details Defined in Cryptol.Utils.Fixity Methods (==) :: Fixity -> Fixity -> Bool # (/=) :: Fixity -> Fixity -> Bool #
Show Fixity Source #
Instance details Defined in Cryptol.Utils.Fixity Methods showsPrec :: Int -> Fixity -> ShowS # show :: Fixity -> String # showList :: [Fixity] -> ShowS #
Generic Fixity Source #
Instance details Defined in Cryptol.Utils.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.Utils.Fixity Methods rnf :: Fixity -> () #
PP Fixity Source #
Instance details Defined in Cryptol.Utils.PP Methods ppPrec :: Int -> Fixity -> Doc Source #
type Rep Fixity Source #
Instance details Defined in Cryptol.Utils.Fixity type Rep Fixity = D1 ('MetaData "Fixity" "Cryptol.Utils.Fixity" "cryptol-2.11.0-KBQWpCBm4GD4lGHyVVV39L" '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.Utils.Fixity Methods (==) :: FixityCmp -> FixityCmp -> Bool # (/=) :: FixityCmp -> FixityCmp -> Bool #
Show FixityCmp Source #
Instance details Defined in Cryptol.Utils.Fixity Methods showsPrec :: Int -> FixityCmp -> ShowS # show :: FixityCmp -> String # showList :: [FixityCmp] -> ShowS #

Let op1 have fixity f1 and op2 have fixity f2. ThencompareFixity f1 f2determines how to parse the infix expressionx op1 y op2 z@.