Safe Haskell	None
Language	Haskell2010

Test.SmallList

Synopsis

newtype SmallList a = SmallList [a]

Documentation

newtype SmallList a Source #

Isomorphic to [], but its arbitrary instance generates very small lists.

Constructors

SmallList [a]

Instances

Monad SmallList Source #
Instance details Defined in Test.SmallList Methods (>>=) :: SmallList a -> (a -> SmallList b) -> SmallList b # (>>) :: SmallList a -> SmallList b -> SmallList b # return :: a -> SmallList a # fail :: String -> SmallList a #
Functor SmallList Source #
Instance details Defined in Test.SmallList Methods fmap :: (a -> b) -> SmallList a -> SmallList b # (<$) :: a -> SmallList b -> SmallList a #
Applicative SmallList Source #
Instance details Defined in Test.SmallList Methods pure :: a -> SmallList a # (<>) :: SmallList (a -> b) -> SmallList a -> SmallList b # liftA2 :: (a -> b -> c) -> SmallList a -> SmallList b -> SmallList c # (>) :: SmallList a -> SmallList b -> SmallList b # (<*) :: SmallList a -> SmallList b -> SmallList a #
MonadBase SmallList SmallList Source #
Instance details Defined in Test.SmallList Methods liftBase :: SmallList α -> SmallList α #
MonadBaseControl SmallList SmallList Source #
Instance details Defined in Test.SmallList Associated Types type StM SmallList a :: Type # Methods liftBaseWith :: (RunInBase SmallList SmallList -> SmallList a) -> SmallList a # restoreM :: StM SmallList a -> SmallList a #
Eq a => Eq (SmallList a) Source #
Instance details Defined in Test.SmallList Methods (==) :: SmallList a -> SmallList a -> Bool # (/=) :: SmallList a -> SmallList a -> Bool #
Ord a => Ord (SmallList a) Source #
Instance details Defined in Test.SmallList Methods compare :: SmallList a -> SmallList a -> Ordering # (<) :: SmallList a -> SmallList a -> Bool # (<=) :: SmallList a -> SmallList a -> Bool # (>) :: SmallList a -> SmallList a -> Bool # (>=) :: SmallList a -> SmallList a -> Bool # max :: SmallList a -> SmallList a -> SmallList a # min :: SmallList a -> SmallList a -> SmallList a #
Show a => Show (SmallList a) Source #
Instance details Defined in Test.SmallList Methods showsPrec :: Int -> SmallList a -> ShowS # show :: SmallList a -> String # showList :: [SmallList a] -> ShowS #
Arbitrary a => Arbitrary (SmallList a) Source #
Instance details Defined in Test.SmallList Methods arbitrary :: Gen (SmallList a) # shrink :: SmallList a -> [SmallList a] #
TestEq a => TestEq (SmallList a) Source #
Instance details Defined in Test.SmallList Methods (=?) :: SmallList a -> SmallList a -> Property #
Constructible a => Constructible (SmallList a) Source #
Instance details Defined in Test.SmallList Associated Types type Repr (SmallList a) :: Type # Methods fromRepr :: Repr (SmallList a) -> SmallList a #
type StM SmallList a Source #
Instance details Defined in Test.SmallList type StM SmallList a = a
type Repr (SmallList a) Source #
Instance details Defined in Test.SmallList type Repr (SmallList a) = SmallList (Repr a)