cryptol-2.7.0: Cryptol: The Language of Cryptography

Copyright(c) 2013-2016 Galois Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Cryptol.Parser.Position

Description

 
Synopsis

Documentation

data Located a Source #

Constructors

Located 

Fields

Instances
Functor Located Source # 
Instance details

Defined in Cryptol.Parser.Position

Methods

fmap :: (a -> b) -> Located a -> Located b #

(<$) :: a -> Located b -> Located a #

Eq a => Eq (Located a) Source # 
Instance details

Defined in Cryptol.Parser.Position

Methods

(==) :: Located a -> Located a -> Bool #

(/=) :: Located a -> Located a -> Bool #

Show a => Show (Located a) Source # 
Instance details

Defined in Cryptol.Parser.Position

Methods

showsPrec :: Int -> Located a -> ShowS #

show :: Located a -> String #

showList :: [Located a] -> ShowS #

Generic (Located a) Source # 
Instance details

Defined in Cryptol.Parser.Position

Associated Types

type Rep (Located a) :: Type -> Type #

Methods

from :: Located a -> Rep (Located a) x #

to :: Rep (Located a) x -> Located a #

NFData a => NFData (Located a) Source # 
Instance details

Defined in Cryptol.Parser.Position

Methods

rnf :: Located a -> () #

PPName a => PPName (Located a) Source # 
Instance details

Defined in Cryptol.Parser.Position

PP a => PP (Located a) Source # 
Instance details

Defined in Cryptol.Parser.Position

Methods

ppPrec :: Int -> Located a -> Doc Source #

AddLoc (Located a) Source # 
Instance details

Defined in Cryptol.Parser.Position

HasLoc (Located a) Source # 
Instance details

Defined in Cryptol.Parser.Position

Methods

getLoc :: Located a -> Maybe Range Source #

NoPos (Located t) Source # 
Instance details

Defined in Cryptol.Parser.AST

Methods

noPos :: Located t -> Located t Source #

ShowParseable a => ShowParseable (Located a) Source # 
Instance details

Defined in Cryptol.TypeCheck.Parseable

type Rep (Located a) Source # 
Instance details

Defined in Cryptol.Parser.Position

type Rep (Located a) = D1 (MetaData "Located" "Cryptol.Parser.Position" "cryptol-2.7.0-6VD9sMh08R1JPrYSq7DH8b" False) (C1 (MetaCons "Located" PrefixI True) (S1 (MetaSel (Just "srcRange") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Range) :*: S1 (MetaSel (Just "thing") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 a)))

data Position Source #

Constructors

Position 

Fields

Instances
Eq Position Source # 
Instance details

Defined in Cryptol.Parser.Position

Ord Position Source # 
Instance details

Defined in Cryptol.Parser.Position

Show Position Source # 
Instance details

Defined in Cryptol.Parser.Position

Generic Position Source # 
Instance details

Defined in Cryptol.Parser.Position

Associated Types

type Rep Position :: Type -> Type #

Methods

from :: Position -> Rep Position x #

to :: Rep Position x -> Position #

NFData Position Source # 
Instance details

Defined in Cryptol.Parser.Position

Methods

rnf :: Position -> () #

PP Position Source # 
Instance details

Defined in Cryptol.Parser.Position

Methods

ppPrec :: Int -> Position -> Doc Source #

type Rep Position Source # 
Instance details

Defined in Cryptol.Parser.Position

type Rep Position = D1 (MetaData "Position" "Cryptol.Parser.Position" "cryptol-2.7.0-6VD9sMh08R1JPrYSq7DH8b" False) (C1 (MetaCons "Position" PrefixI True) (S1 (MetaSel (Just "line") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int) :*: S1 (MetaSel (Just "col") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int)))

data Range Source #

Constructors

Range 

Fields

Instances
Eq Range Source # 
Instance details

Defined in Cryptol.Parser.Position

Methods

(==) :: Range -> Range -> Bool #

(/=) :: Range -> Range -> Bool #

Show Range Source # 
Instance details

Defined in Cryptol.Parser.Position

Methods

showsPrec :: Int -> Range -> ShowS #

show :: Range -> String #

showList :: [Range] -> ShowS #

Generic Range Source # 
Instance details

Defined in Cryptol.Parser.Position

Associated Types

type Rep Range :: Type -> Type #

Methods

from :: Range -> Rep Range x #

to :: Rep Range x -> Range #

NFData Range Source # 
Instance details

Defined in Cryptol.Parser.Position

Methods

rnf :: Range -> () #

PP Range Source # 
Instance details

Defined in Cryptol.Parser.Position

Methods

ppPrec :: Int -> Range -> Doc Source #

HasLoc Range Source # 
Instance details

Defined in Cryptol.Parser.Position

type Rep Range Source # 
Instance details

Defined in Cryptol.Parser.Position

emptyRange :: Range Source #

An empty range.

Caution: using this on the LHS of a use of rComb will cause the empty source to propagate.

class HasLoc t where Source #

Methods

getLoc :: t -> Maybe Range Source #

Instances
HasLoc Range Source # 
Instance details

Defined in Cryptol.Parser.Position

HasLoc a => HasLoc [a] Source # 
Instance details

Defined in Cryptol.Parser.Position

Methods

getLoc :: [a] -> Maybe Range Source #

HasLoc (Located a) Source # 
Instance details

Defined in Cryptol.Parser.Position

Methods

getLoc :: Located a -> Maybe Range Source #

HasLoc (Prop name) Source # 
Instance details

Defined in Cryptol.Parser.AST

Methods

getLoc :: Prop name -> Maybe Range Source #

HasLoc (Type name) Source # 
Instance details

Defined in Cryptol.Parser.AST

Methods

getLoc :: Type name -> Maybe Range Source #

HasLoc (TParam name) Source # 
Instance details

Defined in Cryptol.Parser.AST

Methods

getLoc :: TParam name -> Maybe Range Source #

HasLoc (Schema name) Source # 
Instance details

Defined in Cryptol.Parser.AST

Methods

getLoc :: Schema name -> Maybe Range Source #

HasLoc a => HasLoc (Named a) Source # 
Instance details

Defined in Cryptol.Parser.AST

Methods

getLoc :: Named a -> Maybe Range Source #

HasLoc (Pattern name) Source # 
Instance details

Defined in Cryptol.Parser.AST

Methods

getLoc :: Pattern name -> Maybe Range Source #

HasLoc (Match name) Source # 
Instance details

Defined in Cryptol.Parser.AST

Methods

getLoc :: Match name -> Maybe Range Source #

HasLoc (Expr name) Source # 
Instance details

Defined in Cryptol.Parser.AST

Methods

getLoc :: Expr name -> Maybe Range Source #

HasLoc a => HasLoc (TopLevel a) Source # 
Instance details

Defined in Cryptol.Parser.AST

HasLoc (Newtype name) Source # 
Instance details

Defined in Cryptol.Parser.AST

Methods

getLoc :: Newtype name -> Maybe Range Source #

HasLoc (Bind name) Source # 
Instance details

Defined in Cryptol.Parser.AST

Methods

getLoc :: Bind name -> Maybe Range Source #

HasLoc (ParameterFun name) Source # 
Instance details

Defined in Cryptol.Parser.AST

HasLoc (ParameterType name) Source # 
Instance details

Defined in Cryptol.Parser.AST

HasLoc (Decl name) Source # 
Instance details

Defined in Cryptol.Parser.AST

Methods

getLoc :: Decl name -> Maybe Range Source #

HasLoc (TopDecl name) Source # 
Instance details

Defined in Cryptol.Parser.AST

Methods

getLoc :: TopDecl name -> Maybe Range Source #

HasLoc (Module name) Source # 
Instance details

Defined in Cryptol.Parser.AST

Methods

getLoc :: Module name -> Maybe Range Source #

(HasLoc a, HasLoc b) => HasLoc (a, b) Source # 
Instance details

Defined in Cryptol.Parser.Position

Methods

getLoc :: (a, b) -> Maybe Range Source #

class HasLoc t => AddLoc t where Source #

Methods

addLoc :: t -> Range -> t Source #

dropLoc :: t -> t Source #

Instances
AddLoc (Located a) Source # 
Instance details

Defined in Cryptol.Parser.Position

AddLoc (Prop name) Source # 
Instance details

Defined in Cryptol.Parser.AST

Methods

addLoc :: Prop name -> Range -> Prop name Source #

dropLoc :: Prop name -> Prop name Source #

AddLoc (Type name) Source # 
Instance details

Defined in Cryptol.Parser.AST

Methods

addLoc :: Type name -> Range -> Type name Source #

dropLoc :: Type name -> Type name Source #

AddLoc (TParam name) Source # 
Instance details

Defined in Cryptol.Parser.AST

Methods

addLoc :: TParam name -> Range -> TParam name Source #

dropLoc :: TParam name -> TParam name Source #

AddLoc (Schema name) Source # 
Instance details

Defined in Cryptol.Parser.AST

Methods

addLoc :: Schema name -> Range -> Schema name Source #

dropLoc :: Schema name -> Schema name Source #

AddLoc (Pattern name) Source # 
Instance details

Defined in Cryptol.Parser.AST

Methods

addLoc :: Pattern name -> Range -> Pattern name Source #

dropLoc :: Pattern name -> Pattern name Source #

AddLoc (Expr n) Source # 
Instance details

Defined in Cryptol.Parser.AST

Methods

addLoc :: Expr n -> Range -> Expr n Source #

dropLoc :: Expr n -> Expr n Source #

AddLoc (Decl name) Source # 
Instance details

Defined in Cryptol.Parser.AST

Methods

addLoc :: Decl name -> Range -> Decl name Source #

dropLoc :: Decl name -> Decl name Source #

at :: (HasLoc l, AddLoc t) => l -> t -> t Source #

combLoc :: (a -> b -> c) -> Located a -> Located b -> Located c Source #