Cryptol.Parser.Position

Documentation

data Located a

Constructors

Located

Fields

• srcRange :: !Range
• thing :: !a

Instances

Functor Located

Defined in Cryptol.Parser.Position

Methods

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

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

Eq a => Eq (Located a)

Defined in Cryptol.Parser.Position

Methods

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

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

Ord a => Ord (Located a)

Defined in Cryptol.Parser.Position

Methods

compare :: Located a -> Located a -> Ordering

(<) :: Located a -> Located a -> Bool

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

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

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

max :: Located a -> Located a -> Located a

min :: Located a -> Located a -> Located a

Show a => Show (Located a)

Defined in Cryptol.Parser.Position

Methods

showsPrec :: Int -> Located a -> ShowS

show :: Located a -> String

showList :: [Located a] -> ShowS

Generic (Located a)

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)

Defined in Cryptol.Parser.Position

Methods

rnf :: Located a -> ()

PPName a => PPName (Located a)

Defined in Cryptol.Parser.Position

Methods

ppNameFixity :: Located a -> Maybe Fixity

ppPrefixName :: Located a -> Doc

ppInfixName :: Located a -> Doc

PP a => PP (Located a)

Defined in Cryptol.Parser.Position

Methods

ppPrec :: Int -> Located a -> Doc

AddLoc (Located a)

Defined in Cryptol.Parser.Position

Methods

addLoc :: Located a -> Range -> Located a

dropLoc :: Located a -> Located a

HasLoc (Located a)

Defined in Cryptol.Parser.Position

Methods

getLoc :: Located a -> Maybe Range

NoPos (Located t)

Defined in Cryptol.Parser.AST

Methods

noPos :: Located t -> Located t

ShowParseable a => ShowParseable (Located a)

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: Located a -> Doc

type Rep (Located a)

Defined in Cryptol.Parser.Position

type Rep (Located a) = D1 ('MetaData "Located" "Cryptol.Parser.Position" "cryptol-2.11.0-KBQWpCBm4GD4lGHyVVV39L" '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

Constructors

Position

Fields

• line :: !Int
• col :: !Int

Instances

Eq Position

Defined in Cryptol.Parser.Position

Methods

(==) :: Position -> Position -> Bool

(/=) :: Position -> Position -> Bool

Ord Position

Defined in Cryptol.Parser.Position

Methods

compare :: Position -> Position -> Ordering

(<) :: Position -> Position -> Bool

(<=) :: Position -> Position -> Bool

(>) :: Position -> Position -> Bool

(>=) :: Position -> Position -> Bool

max :: Position -> Position -> Position

min :: Position -> Position -> Position

Show Position

Defined in Cryptol.Parser.Position

Methods

showsPrec :: Int -> Position -> ShowS

show :: Position -> String

showList :: [Position] -> ShowS

Generic Position

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

Defined in Cryptol.Parser.Position

Methods

rnf :: Position -> ()

PP Position

Defined in Cryptol.Parser.Position

Methods

ppPrec :: Int -> Position -> Doc

type Rep Position

Defined in Cryptol.Parser.Position

type Rep Position = D1 ('MetaData "Position" "Cryptol.Parser.Position" "cryptol-2.11.0-KBQWpCBm4GD4lGHyVVV39L" '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

Constructors

Range

Fields

• from :: !Position
• to :: !Position
• source :: FilePath

Instances

Eq Range

Defined in Cryptol.Parser.Position

Methods

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

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

Ord Range

Defined in Cryptol.Parser.Position

Methods

compare :: Range -> Range -> Ordering

(<) :: Range -> Range -> Bool

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

(>) :: Range -> Range -> Bool

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

max :: Range -> Range -> Range

min :: Range -> Range -> Range

Show Range

Defined in Cryptol.Parser.Position

Methods

showsPrec :: Int -> Range -> ShowS

show :: Range -> String

showList :: [Range] -> ShowS

Generic Range

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

Defined in Cryptol.Parser.Position

Methods

rnf :: Range -> ()

PP Range

Defined in Cryptol.Parser.Position

Methods

ppPrec :: Int -> Range -> Doc

HasLoc Range

Defined in Cryptol.Parser.Position

Methods

getLoc :: Range -> Maybe Range

NoPos Range

Defined in Cryptol.Parser.AST

Methods

noPos :: Range -> Range

type Rep Range

Defined in Cryptol.Parser.Position

type Rep Range = D1 ('MetaData "Range" "Cryptol.Parser.Position" "cryptol-2.11.0-KBQWpCBm4GD4lGHyVVV39L" 'False) (C1 ('MetaCons "Range" 'PrefixI 'True) (S1 ('MetaSel ('Just "from") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Position) :*: (S1 ('MetaSel ('Just "to") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Position) :*: S1 ('MetaSel ('Just "source") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath))))

emptyRange :: Range

An empty range.

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

start :: Position

move :: Position -> Char -> Position

moves :: Position -> Text -> Position

rComb :: Range -> Range -> Range

rCombMaybe :: Maybe Range -> Maybe Range -> Maybe Range

rCombs :: [Range] -> Range

class HasLoc t where

Methods

getLoc :: t -> Maybe Range

Instances

HasLoc Range

Defined in Cryptol.Parser.Position

Methods

getLoc :: Range -> Maybe Range

HasLoc Expr

Defined in Cryptol.TypeCheck.AST

Methods

getLoc :: Expr -> Maybe Range

HasLoc a => HasLoc [a]

Defined in Cryptol.Parser.Position

Methods

getLoc :: [a] -> Maybe Range

HasLoc (Located a)

Defined in Cryptol.Parser.Position

Methods

getLoc :: Located a -> Maybe Range

HasLoc (Type name)

Defined in Cryptol.Parser.AST

Methods

getLoc :: Type name -> Maybe Range

HasLoc (TParam name)

Defined in Cryptol.Parser.AST

Methods

getLoc :: TParam name -> Maybe Range

HasLoc (Schema name)

Defined in Cryptol.Parser.AST

Methods

getLoc :: Schema name -> Maybe Range

HasLoc a => HasLoc (Named a)

Defined in Cryptol.Parser.AST

Methods

getLoc :: Named a -> Maybe Range

HasLoc (Pattern name)

Defined in Cryptol.Parser.AST

Methods

getLoc :: Pattern name -> Maybe Range

HasLoc (Match name)

Defined in Cryptol.Parser.AST

Methods

getLoc :: Match name -> Maybe Range

HasLoc (Expr name)

Defined in Cryptol.Parser.AST

Methods

getLoc :: Expr name -> Maybe Range

HasLoc a => HasLoc (TopLevel a)

Defined in Cryptol.Parser.AST

Methods

getLoc :: TopLevel a -> Maybe Range

HasLoc (PrimType name)

Defined in Cryptol.Parser.AST

Methods

getLoc :: PrimType name -> Maybe Range

HasLoc (Newtype name)

Defined in Cryptol.Parser.AST

Methods

getLoc :: Newtype name -> Maybe Range

HasLoc (Bind name)

Defined in Cryptol.Parser.AST

Methods

getLoc :: Bind name -> Maybe Range

HasLoc (ParameterFun name)

Defined in Cryptol.Parser.AST

Methods

getLoc :: ParameterFun name -> Maybe Range

HasLoc (ParameterType name)

Defined in Cryptol.Parser.AST

Methods

getLoc :: ParameterType name -> Maybe Range

HasLoc (Decl name)

Defined in Cryptol.Parser.AST

Methods

getLoc :: Decl name -> Maybe Range

HasLoc (TopDecl name)

Defined in Cryptol.Parser.AST

Methods

getLoc :: TopDecl name -> Maybe Range

HasLoc (Module name)

Defined in Cryptol.Parser.AST

Methods

getLoc :: Module name -> Maybe Range

(HasLoc a, HasLoc b) => HasLoc (a, b)

Defined in Cryptol.Parser.Position

Methods

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

class HasLoc t => AddLoc t where

Methods

addLoc :: t -> Range -> t

dropLoc :: t -> t

Instances

AddLoc (Located a)

Defined in Cryptol.Parser.Position

Methods

addLoc :: Located a -> Range -> Located a

dropLoc :: Located a -> Located a

AddLoc (Type name)

Defined in Cryptol.Parser.AST

Methods

addLoc :: Type name -> Range -> Type name

dropLoc :: Type name -> Type name

AddLoc (TParam name)

Defined in Cryptol.Parser.AST

Methods

addLoc :: TParam name -> Range -> TParam name

dropLoc :: TParam name -> TParam name

AddLoc (Schema name)

Defined in Cryptol.Parser.AST

Methods

addLoc :: Schema name -> Range -> Schema name

dropLoc :: Schema name -> Schema name

AddLoc (Pattern name)

Defined in Cryptol.Parser.AST

Methods

addLoc :: Pattern name -> Range -> Pattern name

dropLoc :: Pattern name -> Pattern name

AddLoc (Expr n)

Defined in Cryptol.Parser.AST

Methods

addLoc :: Expr n -> Range -> Expr n

dropLoc :: Expr n -> Expr n

AddLoc (Decl name)

Defined in Cryptol.Parser.AST

Methods

addLoc :: Decl name -> Range -> Decl name

dropLoc :: Decl name -> Decl name

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

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