Cryptol.Parser.Position

Documentation

data Located a

Constructors

Located

Fields

srcRange :: !Range

thing :: a

Instances

Functor Located

Eq a => Eq (Located a)

Show a => Show (Located a)

PP a => PP (Located a)

AddLoc (Located a)

HasLoc (Located a)

NoPos (Located t)

Rename a => Rename (Located a)

data Position

Constructors

Position

Fields

line :: !Int

col :: !Int

Instances

Eq Position

Ord Position

Show Position

PP Position

data Range

Constructors

Range

Fields

from :: !Position

to :: !Position

source :: FilePath

Instances

Eq Range

Show Range

PP Range

HasLoc Range

emptyRange :: Range

An empty range.

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

start :: Position

move :: Position -> Char -> Position

moves :: Position -> String -> Position

rComb :: Range -> Range -> Range

rCombs :: [Range] -> Range

class HasLoc t where

Methods

getLoc :: t -> Maybe Range

Instances

HasLoc Range

HasLoc Prop

HasLoc Type

HasLoc TParam

HasLoc Schema

HasLoc Pattern

HasLoc Match

HasLoc Expr

HasLoc Newtype

HasLoc Bind

HasLoc Decl

HasLoc TopDecl

HasLoc Module

HasLoc a => HasLoc [a]

HasLoc (Located a)

HasLoc a => HasLoc (Named a)

HasLoc a => HasLoc (TopLevel a)

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

class HasLoc t => AddLoc t where

Methods

addLoc :: t -> Range -> t

dropLoc :: t -> t

Instances

AddLoc Prop

AddLoc Type

AddLoc TParam

AddLoc Schema

AddLoc Pattern

AddLoc Expr

AddLoc Decl

AddLoc (Located a)

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