Cryptol.Utils.Fixity

Documentation

data Assoc

Information about associativity.

Constructors

LeftAssoc

RightAssoc

NonAssoc

Instances

Eq Assoc

Defined in Cryptol.Utils.Fixity

Methods

(==) :: Assoc -> Assoc -> Bool

(/=) :: Assoc -> Assoc -> Bool

Show Assoc

Defined in Cryptol.Utils.Fixity

Methods

showsPrec :: Int -> Assoc -> ShowS

show :: Assoc -> String

showList :: [Assoc] -> ShowS

Generic Assoc

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

Defined in Cryptol.Utils.Fixity

Methods

rnf :: Assoc -> ()

PP Assoc

Defined in Cryptol.Utils.PP

Methods

ppPrec :: Int -> Assoc -> Doc

type Rep Assoc

Defined in Cryptol.Utils.Fixity

type Rep Assoc = D1 ('MetaData "Assoc" "Cryptol.Utils.Fixity" "cryptol-2.10.0-Bsi6VMfJ6GCFlOdda30jWW" '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)))

data Fixity

Constructors

Fixity

Fields

• fAssoc :: !Assoc
• fLevel :: !Int

Instances

Eq Fixity

Defined in Cryptol.Utils.Fixity

Methods

(==) :: Fixity -> Fixity -> Bool

(/=) :: Fixity -> Fixity -> Bool

Show Fixity

Defined in Cryptol.Utils.Fixity

Methods

showsPrec :: Int -> Fixity -> ShowS

show :: Fixity -> String

showList :: [Fixity] -> ShowS

Generic Fixity

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

Defined in Cryptol.Utils.Fixity

Methods

rnf :: Fixity -> ()

PP Fixity

Defined in Cryptol.Utils.PP

Methods

ppPrec :: Int -> Fixity -> Doc

type Rep Fixity

Defined in Cryptol.Utils.Fixity

type Rep Fixity = D1 ('MetaData "Fixity" "Cryptol.Utils.Fixity" "cryptol-2.10.0-Bsi6VMfJ6GCFlOdda30jWW" 'False) (C1 ('MetaCons "Fixity" 'PrefixI 'True) (S1 ('MetaSel ('Just "fAssoc") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Assoc) :*: S1 ('MetaSel ('Just "fLevel") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)))

defaultFixity :: Fixity

The fixity used when none is provided.

data FixityCmp

Constructors

FCError

FCLeft

FCRight

Instances

Eq FixityCmp

Defined in Cryptol.Utils.Fixity

Methods

(==) :: FixityCmp -> FixityCmp -> Bool

(/=) :: FixityCmp -> FixityCmp -> Bool

Show FixityCmp

Defined in Cryptol.Utils.Fixity

Methods

showsPrec :: Int -> FixityCmp -> ShowS

show :: FixityCmp -> String

showList :: [FixityCmp] -> ShowS

compareFixity :: Fixity -> Fixity -> FixityCmp

Let op1 have fixity f1 and op2 have fixity f2. Then compareFixity f1 f2 determines how to parse the infix expression x op1 y op2 z@.

• FCLeft: (x op1 y) op2 z
• FCRight: x op1 (y op2 z)
• FCError: no parse