doctest-lib-0.1: Parts of doctest exposed as library

Safe HaskellSafe
LanguageHaskell98

Test.DocTest.Location

Synopsis

Documentation

data Located pos a Source #

A thing with a location attached.

Constructors

Located pos a 
Instances
Functor (Located pos) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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 Source #

Discard location information.