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 #
Instances
RemovePatterns [Decl PName] Source # | |
Defined in Cryptol.Parser.NoPat | |
RemovePatterns (Expr PName) Source # | |
Defined in Cryptol.Parser.NoPat | |
RemovePatterns (Module PName) Source # | |
Defined in Cryptol.Parser.NoPat | |
RemovePatterns (Program PName) Source # | |
Defined in Cryptol.Parser.NoPat |
Constructors
Instances
Show Error Source # | |
Generic Error Source # | |
NFData Error Source # | |
Defined in Cryptol.Parser.NoPat | |
PP Error Source # | |
type Rep Error Source # | |
Defined in Cryptol.Parser.NoPat type Rep Error = D1 ('MetaData "Error" "Cryptol.Parser.NoPat" "cryptol-2.8.0-8MjdO3NUDs4I9u4d2J06AM" '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]))))) |