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.8.0-Jl4xQKR0B4Q8VTNDfmeSo7" 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])))))