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)

Generic (Located a)

NFData a => NFData (Located a)

PPName a => PPName (Located a)

PP a => PP (Located a)

AddLoc (Located a)

HasLoc (Located a)

NoPos (Located t)

type Rep (Located a)

data Position

Constructors

Position

Fields

line :: !Int

col :: !Int

Instances

Eq Position

Ord Position

Show Position

Generic Position

NFData Position

PP Position

type Rep Position

data Range

Constructors

Range

Fields

from :: !Position

to :: !Position

source :: FilePath

Instances

Eq Range

Show Range

Generic Range

NFData Range

PP Range

HasLoc Range

type Rep 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 -> Text -> Position

rComb :: Range -> Range -> Range

rCombs :: [Range] -> Range

class HasLoc t where

Methods

getLoc :: t -> Maybe Range

Instances

HasLoc Range

HasLoc a => HasLoc [a]

HasLoc (Located a)

HasLoc (Prop name)

HasLoc (Type name)

HasLoc (TParam name)

HasLoc (Schema name)

HasLoc a => HasLoc (Named a)

HasLoc (Pattern name)

HasLoc (Match name)

HasLoc (Expr name)

HasLoc a => HasLoc (TopLevel a)

HasLoc (Newtype name)

HasLoc (Bind name)

HasLoc (Decl name)

HasLoc (TopDecl name)

HasLoc (Module name)

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

class HasLoc t => AddLoc t where

Methods

addLoc :: t -> Range -> t

dropLoc :: t -> t

Instances

AddLoc (Located a)

AddLoc (Prop name)

AddLoc (Type name)

AddLoc (TParam name)

AddLoc (Schema name)

AddLoc (Pattern name)

AddLoc (Expr n)

AddLoc (Decl name)

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