Test.DocTest.Location

Documentation

data Located pos a

A thing with a location attached.

Constructors

Located pos a

Instances

Functor (Located pos)

Defined in Test.DocTest.Location

Methods

fmap :: (a -> b) -> Located pos a -> Located pos b

(<$) :: a -> Located pos b -> Located pos a

Foldable (Located pos)

Defined in Test.DocTest.Location

Methods

fold :: Monoid m => Located pos m -> m

foldMap :: Monoid m => (a -> m) -> Located pos a -> m

foldr :: (a -> b -> b) -> b -> Located pos a -> b

foldr' :: (a -> b -> b) -> b -> Located pos a -> b

foldl :: (b -> a -> b) -> b -> Located pos a -> b

foldl' :: (b -> a -> b) -> b -> Located pos a -> b

foldr1 :: (a -> a -> a) -> Located pos a -> a

foldl1 :: (a -> a -> a) -> Located pos a -> a

toList :: Located pos a -> [a]

null :: Located pos a -> Bool

length :: Located pos a -> Int

elem :: Eq a => a -> Located pos a -> Bool

maximum :: Ord a => Located pos a -> a

minimum :: Ord a => Located pos a -> a

sum :: Num a => Located pos a -> a

product :: Num a => Located pos a -> a

Traversable (Located pos)

Defined in Test.DocTest.Location

Methods

traverse :: Applicative f => (a -> f b) -> Located pos a -> f (Located pos b)

sequenceA :: Applicative f => Located pos (f a) -> f (Located pos a)

mapM :: Monad m => (a -> m b) -> Located pos a -> m (Located pos b)

sequence :: Monad m => Located pos (m a) -> m (Located pos a)

(Eq pos, Eq a) => Eq (Located pos a)

Defined in Test.DocTest.Location

Methods

(==) :: Located pos a -> Located pos a -> Bool

(/=) :: Located pos a -> Located pos a -> Bool

(Show pos, Show a) => Show (Located pos a)

Defined in Test.DocTest.Location

Methods

showsPrec :: Int -> Located pos a -> ShowS

show :: Located pos a -> String

showList :: [Located pos a] -> ShowS

unLoc :: Located pos a -> a

Discard location information.