hedgehog-0.6: Hedgehog will eat all your bugs.

Safe Haskell	None
Language	Haskell98

Hedgehog.Internal.Discovery

Documentation

newtype PropertySource Source #

Constructors

PropertySource
Fields propertySource :: Pos String

Instances

Eq PropertySource Source #
Methods (==) :: PropertySource -> PropertySource -> Bool # (/=) :: PropertySource -> PropertySource -> Bool #
Ord PropertySource Source #
Methods compare :: PropertySource -> PropertySource -> Ordering # (<) :: PropertySource -> PropertySource -> Bool # (<=) :: PropertySource -> PropertySource -> Bool # (>) :: PropertySource -> PropertySource -> Bool # (>=) :: PropertySource -> PropertySource -> Bool # max :: PropertySource -> PropertySource -> PropertySource # min :: PropertySource -> PropertySource -> PropertySource #
Show PropertySource Source #
Methods showsPrec :: Int -> PropertySource -> ShowS # show :: PropertySource -> String # showList :: [PropertySource] -> ShowS #

readProperties :: MonadIO m => FilePath -> m (Map PropertyName PropertySource) Source #

findProperties :: FilePath -> String -> Map PropertyName PropertySource Source #

readDeclaration :: MonadIO m => FilePath -> LineNo -> m (Maybe (String, Pos String)) Source #

data Pos a Source #

Constructors

Pos
Fields posPostion :: !Position posValue :: a

Instances

Functor Pos Source #
Methods fmap :: (a -> b) -> Pos a -> Pos b # (<$) :: a -> Pos b -> Pos a #
Eq a => Eq (Pos a) Source #
Methods (==) :: Pos a -> Pos a -> Bool # (/=) :: Pos a -> Pos a -> Bool #
Ord a => Ord (Pos a) Source #
Methods compare :: Pos a -> Pos a -> Ordering # (<) :: Pos a -> Pos a -> Bool # (<=) :: Pos a -> Pos a -> Bool # (>) :: Pos a -> Pos a -> Bool # (>=) :: Pos a -> Pos a -> Bool # max :: Pos a -> Pos a -> Pos a # min :: Pos a -> Pos a -> Pos a #
Show a => Show (Pos a) Source #
Methods showsPrec :: Int -> Pos a -> ShowS # show :: Pos a -> String # showList :: [Pos a] -> ShowS #
Semigroup a => Semigroup (Pos a) Source #
Methods (<>) :: Pos a -> Pos a -> Pos a # sconcat :: NonEmpty (Pos a) -> Pos a # stimes :: Integral b => b -> Pos a -> Pos a #

data Position Source #

Constructors

Position
Fields _posPath :: !FilePath posLine :: !LineNo posColumn :: !ColumnNo

Instances

Eq Position Source #
Methods (==) :: Position -> Position -> Bool # (/=) :: Position -> Position -> Bool #
Ord Position Source #
Methods compare :: Position -> Position -> Ordering # (<) :: Position -> Position -> Bool # (<=) :: Position -> Position -> Bool # (>) :: Position -> Position -> Bool # (>=) :: Position -> Position -> Bool # max :: Position -> Position -> Position # min :: Position -> Position -> Position #
Show Position Source #
Methods showsPrec :: Int -> Position -> ShowS # show :: Position -> String # showList :: [Position] -> ShowS #