Cryptol.Parser.Fixity

Documentation

data Fixity

Constructors

Fixity

Fields

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

Instances

Eq Fixity

Defined in Cryptol.Parser.Fixity

Methods

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

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

Show Fixity

Defined in Cryptol.Parser.Fixity

Methods

showsPrec :: Int -> Fixity -> ShowS

show :: Fixity -> String

showList :: [Fixity] -> ShowS

Generic Fixity

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

Defined in Cryptol.Parser.Fixity

Methods

rnf :: Fixity -> ()

PP Fixity

Defined in Cryptol.Parser.Fixity

Methods

ppPrec :: Int -> Fixity -> Doc

type Rep Fixity

Defined in Cryptol.Parser.Fixity

type Rep Fixity = D1 (MetaData "Fixity" "Cryptol.Parser.Fixity" "cryptol-2.8.0-Jl4xQKR0B4Q8VTNDfmeSo7" 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.Parser.Fixity

Methods

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

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

Show FixityCmp

Defined in Cryptol.Parser.Fixity

Methods

showsPrec :: Int -> FixityCmp -> ShowS

show :: FixityCmp -> String

showList :: [FixityCmp] -> ShowS

compareFixity :: Fixity -> Fixity -> FixityCmp