Data.Biunfoldable

Class of data structures with 2 type arguments that can be unfolded.

Biunfoldable

class Biunfoldable t where

Data structures with 2 type arguments (kind * -> * -> *) that can be unfolded.

For example, given a data type

data Tree a b = Empty | Leaf a | Node (Tree a b) b (Tree a b)

a suitable instance would be

instance Biunfoldable Tree where
  biunfold fa fb = choose
    [ pure Empty
    , Leaf <$> fa
    , Node <$> biunfold fa fb <*> fb <*> biunfold fa fb
    ]

i.e. it follows closely the instance for Bitraversable, but instead of matching on an input value, we choose from a list of all cases.

Methods

biunfold :: Unfolder f => f a -> f b -> f (t a b)

Given a way to generate elements, return a way to generate structures containing those elements.

Instances

Biunfoldable Either

Defined in Data.Biunfoldable

Methods

biunfold :: Unfolder f => f a -> f b -> f (Either a b)

Biunfoldable (,)

Defined in Data.Biunfoldable

Methods

biunfold :: Unfolder f => f a -> f b -> f (a, b)

Biunfoldable (Constant :: Type -> Type -> Type)

Defined in Data.Biunfoldable

Methods

biunfold :: Unfolder f => f a -> f b -> f (Constant a b)

biunfold_ :: (Biunfoldable t, Unfolder f) => f (t () ())

Unfold the structure, always using () as elements.

biunfoldBF :: (Biunfoldable t, Unfolder f) => f a -> f b -> f (t a b)

Breadth-first unfold, which orders the result by the number of choose calls.

biunfoldBF_ :: (Biunfoldable t, Unfolder f) => f (t () ())

Unfold the structure breadth-first, always using () as elements.

Specific unfolds

biunfoldr :: Biunfoldable t => (c -> Maybe (a, c)) -> (c -> Maybe (b, c)) -> c -> Maybe (t a b)

biunfoldr builds a data structure from a seed value.

fromLists :: Biunfoldable t => [a] -> [b] -> Maybe (t a b)

Create a data structure using the lists as input. This can fail because there might not be a data structure with the same number of element positions as the number of elements in the lists.

randomDefault :: (Random a, Random b, RandomGen g, Biunfoldable t) => g -> (t a b, g)

Generate a random value, can be used as default instance for Random.

arbitraryDefault :: (Arbitrary a, Arbitrary b, Biunfoldable t) => Gen (t a b)

Provides a QuickCheck generator, can be used as default instance for Arbitrary.