cryptol-2.8.0: Cryptol: The Language of Cryptography
Copyright(c) 2013-2016 Galois Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Cryptol.Parser.Fixity

Description

 
Synopsis

Documentation

data Fixity Source #

Constructors

Fixity 

Fields

Instances

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-8MjdO3NUDs4I9u4d2J06AM" '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 Source #

The fixity used when none is provided.

data FixityCmp Source #

Constructors

FCError 
FCLeft 
FCRight 

Instances

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