Cryptol.Parser.NoPat

The purpose of this module is to convert all patterns to variable patterns. It also eliminates pattern bindings by de-sugaring them into Bind. Furthermore, here we associate signatures and pragmas with the names to which they belong.

Documentation

class RemovePatterns t where

Methods

removePatterns :: t -> (t, [Error])

Eliminate all patterns in a program.

Instances

RemovePatterns [Decl PName]

Defined in Cryptol.Parser.NoPat

Methods

removePatterns :: [Decl PName] -> ([Decl PName], [Error])

RemovePatterns (Expr PName)

Defined in Cryptol.Parser.NoPat

Methods

removePatterns :: Expr PName -> (Expr PName, [Error])

RemovePatterns (Module PName)

Defined in Cryptol.Parser.NoPat

Methods

removePatterns :: Module PName -> (Module PName, [Error])

RemovePatterns (Program PName)

Defined in Cryptol.Parser.NoPat

Methods

removePatterns :: Program PName -> (Program PName, [Error])

data Error

Constructors

MultipleSignatures PName [Located (Schema PName)]

SignatureNoBind (Located PName) (Schema PName)

PragmaNoBind (Located PName) Pragma

MultipleFixities PName [Range]

FixityNoBind (Located PName)

MultipleDocs PName [Range]

Instances

Show Error

Defined in Cryptol.Parser.NoPat

Methods

showsPrec :: Int -> Error -> ShowS

show :: Error -> String

showList :: [Error] -> ShowS

Generic Error

Defined in Cryptol.Parser.NoPat

Associated Types

type Rep Error :: Type -> Type

Methods

from :: Error -> Rep Error x

to :: Rep Error x -> Error

NFData Error

Defined in Cryptol.Parser.NoPat

Methods

rnf :: Error -> ()

PP Error

Defined in Cryptol.Parser.NoPat

Methods

ppPrec :: Int -> Error -> Doc

type Rep Error

Defined in Cryptol.Parser.NoPat

type Rep Error = D1 ('MetaData "Error" "Cryptol.Parser.NoPat" "cryptol-2.10.0-Bsi6VMfJ6GCFlOdda30jWW" 'False) ((C1 ('MetaCons "MultipleSignatures" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Located (Schema PName)])) :+: (C1 ('MetaCons "SignatureNoBind" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Located PName)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Schema PName))) :+: C1 ('MetaCons "PragmaNoBind" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Located PName)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pragma)))) :+: (C1 ('MetaCons "MultipleFixities" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Range])) :+: (C1 ('MetaCons "FixityNoBind" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Located PName))) :+: C1 ('MetaCons "MultipleDocs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Range])))))