Copyright | (c) 2013-2015 Galois, Inc. |
---|---|
License | BSD3 |
Maintainer | cryptol@galois.com |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell98 |
- 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.
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) |