Test.SmallList

Documentation

newtype SmallList a

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

Constructors

SmallList [a]

Instances

Monad SmallList

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

Defined in Test.SmallList

Methods

fmap :: (a -> b) -> SmallList a -> SmallList b

(<$) :: a -> SmallList b -> SmallList a

Applicative SmallList

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

Defined in Test.SmallList

Methods

liftBase :: SmallList α -> SmallList α

MonadBaseControl SmallList SmallList

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)

Defined in Test.SmallList

Methods

(==) :: SmallList a -> SmallList a -> Bool

(/=) :: SmallList a -> SmallList a -> Bool

Ord a => Ord (SmallList a)

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)

Defined in Test.SmallList

Methods

showsPrec :: Int -> SmallList a -> ShowS

show :: SmallList a -> String

showList :: [SmallList a] -> ShowS

Arbitrary a => Arbitrary (SmallList a)

Defined in Test.SmallList

Methods

arbitrary :: Gen (SmallList a)

shrink :: SmallList a -> [SmallList a]

TestEq a => TestEq (SmallList a)

Defined in Test.SmallList

Methods

(=?) :: SmallList a -> SmallList a -> Property

Constructible a => Constructible (SmallList a)

Defined in Test.SmallList

Associated Types

type Repr (SmallList a) :: Type

Methods

fromRepr :: Repr (SmallList a) -> SmallList a

type StM SmallList a

Defined in Test.SmallList

type StM SmallList a = a

type Repr (SmallList a)

Defined in Test.SmallList

type Repr (SmallList a) = SmallList (Repr a)