| Copyright | (c) 2013-2015 Galois, Inc. |
|---|---|
| License | BSD3 |
| Maintainer | cryptol@galois.com |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe |
| Language | Haskell98 |
Cryptol.Parser.Position
Description
- data Located a = Located {}
- data Position = Position {}
- data Range = Range {}
- emptyRange :: Range
- start :: Position
- move :: Position -> Char -> Position
- moves :: Position -> String -> Position
- rComb :: Range -> Range -> Range
- rCombs :: [Range] -> Range
- class HasLoc t where
- class HasLoc t => AddLoc t where
- at :: (HasLoc l, AddLoc t) => l -> t -> t
Documentation
An empty range.
Caution: using this on the LHS of a use of rComb will cause the empty source to propegate.
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) |