Copyright	(c) 2013-2016 Galois Inc.
License	BSD3
Maintainer	cryptol@galois.com
Stability	provisional
Portability	portable
Safe Haskell	Safe
Language	Haskell2010

Cryptol.Parser.NoPat

Description

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 Source #

Methods

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

Eliminate all patterns in a program.

Instances

RemovePatterns [Decl PName] Source #
Instance details Defined in Cryptol.Parser.NoPat Methods removePatterns :: [Decl PName] -> ([Decl PName], [Error]) Source #
RemovePatterns (Expr PName) Source #
Instance details Defined in Cryptol.Parser.NoPat Methods removePatterns :: Expr PName -> (Expr PName, [Error]) Source #
RemovePatterns (Module PName) Source #
Instance details Defined in Cryptol.Parser.NoPat Methods removePatterns :: Module PName -> (Module PName, [Error]) Source #
RemovePatterns (Program PName) Source #
Instance details Defined in Cryptol.Parser.NoPat Methods removePatterns :: Program PName -> (Program PName, [Error]) Source #

data Error Source #

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 Source #
Instance details Defined in Cryptol.Parser.NoPat Methods showsPrec :: Int -> Error -> ShowS # show :: Error -> String # showList :: [Error] -> ShowS #
Generic Error Source #
Instance details 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 Source #
Instance details Defined in Cryptol.Parser.NoPat Methods rnf :: Error -> () #
PP Error Source #
Instance details Defined in Cryptol.Parser.NoPat Methods ppPrec :: Int -> Error -> Doc Source #
type Rep Error Source #
Instance details Defined in Cryptol.Parser.NoPat type Rep Error = D1 (MetaData "Error" "Cryptol.Parser.NoPat" "cryptol-2.7.0-6VD9sMh08R1JPrYSq7DH8b" 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])))))