Safe Haskell | None |
---|---|
Language | Haskell2010 |
Hedgehog generators for types defined in the loc package.
- line :: Monad m => Bounds Line -> Gen m Line
- line' :: Monad m => Gen m Line
- defMaxLine :: Line
- column :: Monad m => Bounds Column -> Gen m Column
- column' :: Monad m => Gen m Column
- defMaxColumn :: Column
- loc :: Monad m => Bounds Line -> Bounds Column -> Gen m Loc
- loc' :: Monad m => Gen m Loc
- span :: forall m. Monad m => Bounds Line -> Bounds Column -> Gen m Span
- span' :: Monad m => Gen m Span
- area :: forall m. Monad m => Bounds Line -> Bounds Column -> Gen m Area
- area' :: Monad m => Gen m Area
- type Bounds a = (a, a)
- boundsSize :: Num n => (n, n) -> n
Line
generates a line number on the linear range a to b.line
a b
line' :: Monad m => Gen m Line Source #
Generates a line number within the default bounds (1,
.defMaxLine
)
defMaxLine :: Line Source #
The default maximum line: 99.
Column
generates a column number on the linear range a to b.column
a b
column' :: Monad m => Gen m Column Source #
Generates a column number within the default bounds (1,
.defMaxColumn
)
defMaxColumn :: Column Source #
The default maximum column number: 99.
Loc
Span
span' :: Monad m => Gen m Span Source #
Generates a Span
with start and end positions within the default line and
column bounds.
Area
Generator bounds
boundsSize :: Num n => (n, n) -> n Source #
The size of a range specified by Bounds
.
Assumes the upper bound is at least the lower bound.