hedgehog-1.4: Release with confidence.

Safe Haskell	Safe-Inferred
Language	Haskell2010

Hedgehog.Internal.Discovery

Documentation

newtype PropertySource Source #

Constructors

PropertySource
Fields propertySource :: Pos String

Instances

Instances details

Show PropertySource Source #
Instance details Defined in Hedgehog.Internal.Discovery Methods showsPrec :: Int -> PropertySource -> ShowS # show :: PropertySource -> String # showList :: [PropertySource] -> ShowS #
Eq PropertySource Source #
Instance details Defined in Hedgehog.Internal.Discovery Methods (==) :: PropertySource -> PropertySource -> Bool # (/=) :: PropertySource -> PropertySource -> Bool #
Ord PropertySource Source #
Instance details Defined in Hedgehog.Internal.Discovery 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 #

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

findProperties :: String -> 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

Instances details

Functor Pos Source #
Instance details Defined in Hedgehog.Internal.Discovery Methods fmap :: (a -> b) -> Pos a -> Pos b # (<$) :: a -> Pos b -> Pos a #
Semigroup a => Semigroup (Pos a) Source #
Instance details Defined in Hedgehog.Internal.Discovery Methods (<>) :: Pos a -> Pos a -> Pos a # sconcat :: NonEmpty (Pos a) -> Pos a # stimes :: Integral b => b -> Pos a -> Pos a #
Show a => Show (Pos a) Source #
Instance details Defined in Hedgehog.Internal.Discovery Methods showsPrec :: Int -> Pos a -> ShowS # show :: Pos a -> String # showList :: [Pos a] -> ShowS #
Eq a => Eq (Pos a) Source #
Instance details Defined in Hedgehog.Internal.Discovery Methods (==) :: Pos a -> Pos a -> Bool # (/=) :: Pos a -> Pos a -> Bool #
Ord a => Ord (Pos a) Source #
Instance details Defined in Hedgehog.Internal.Discovery 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 #

data Position Source #

Constructors

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

Instances

Instances details

Show Position Source #
Instance details Defined in Hedgehog.Internal.Discovery Methods showsPrec :: Int -> Position -> ShowS # show :: Position -> String # showList :: [Position] -> ShowS #
Eq Position Source #
Instance details Defined in Hedgehog.Internal.Discovery Methods (==) :: Position -> Position -> Bool # (/=) :: Position -> Position -> Bool #
Ord Position Source #
Instance details Defined in Hedgehog.Internal.Discovery 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 #