Safe Haskell	Safe
Language	Haskell2010

Data.Unfoldable.Restricted

Contents

Unfoldable
Biunfoldable
Utils

Synopsis

class UnfoldableR (pred :: * -> Constraint) (t :: * -> *) | t -> pred where
unfoldRestrict_ :: (UnfoldableR Unit t, Unfolder f) => f (t ())
unfoldRestrictBF :: (UnfoldableR p t, Unfolder f, p a) => f a -> f (t a)
unfoldRestrictBF_ :: (UnfoldableR Unit t, Unfolder f) => f (t ())
unfoldrRestrict :: (UnfoldableR p t, p a) => (b -> Maybe (a, b)) -> b -> Maybe (t a)
fromList :: (UnfoldableR p t, p a) => [a] -> Maybe (t a)
leftMost :: UnfoldableR Unit t => Maybe (t ())
rightMost :: UnfoldableR Unit t => Maybe (t ())
allDepthFirst :: UnfoldableR Unit t => [t ()]
allToDepth :: UnfoldableR Unit t => Int -> [t ()]
allBreadthFirst :: UnfoldableR Unit t => [t ()]
class BiunfoldableR (predA :: * -> Constraint) (predB :: * -> Constraint) (t :: * -> * -> *) | t -> predA predB where
biunfoldRestrict_ :: (BiunfoldableR Unit Unit t, Unfolder f) => f (t () ())
biunfoldRestrictBF :: (BiunfoldableR p q t, Unfolder f, p a, q b) => f a -> f b -> f (t a b)
biunfoldRestrictBF_ :: (BiunfoldableR Unit Unit t, Unfolder f) => f (t () ())
biunfoldrRestrict :: (BiunfoldableR p q t, p a, q b) => (c -> Maybe (a, c)) -> (c -> Maybe (b, c)) -> c -> Maybe (t a b)
fromLists :: (BiunfoldableR p q t, p a, q b) => [a] -> [b] -> Maybe (t a b)
class (Hashable a, Eq a) => Hashable' a

Unfoldable

class UnfoldableR (pred :: * -> Constraint) (t :: * -> *) | t -> pred where #

Minimal complete definition

unfoldRestrict

Methods

unfoldRestrict :: (pred a, Unfolder f) => f a -> f (t a) #

Instances

UnfoldableR Ord Set #
Instance details Defined in Data.Unfoldable.Restricted Methods unfoldRestrict :: (Ord a, Unfolder f) => f a -> f (Set a) #
UnfoldableR Unit [] #
Instance details Defined in Data.Unfoldable.Restricted Methods unfoldRestrict :: (Unit a, Unfolder f) => f a -> f [a] #
UnfoldableR Unit Maybe #
Instance details Defined in Data.Unfoldable.Restricted Methods unfoldRestrict :: (Unit a, Unfolder f) => f a -> f (Maybe a) #
UnfoldableR Unit Identity #
Instance details Defined in Data.Unfoldable.Restricted Methods unfoldRestrict :: (Unit a, Unfolder f) => f a -> f (Identity a) #
UnfoldableR Hashable' HashSet #
Instance details Defined in Data.Unfoldable.Restricted Methods unfoldRestrict :: (Hashable' a, Unfolder f) => f a -> f (HashSet a) #
(Bounded a, Enum a) => UnfoldableR Unit (Either a) #
Instance details Defined in Data.Unfoldable.Restricted Methods unfoldRestrict :: (Unit a0, Unfolder f) => f a0 -> f (Either a a0) #
(Bounded a, Enum a) => UnfoldableR Unit ((,) a) #
Instance details Defined in Data.Unfoldable.Restricted Methods unfoldRestrict :: (Unit a0, Unfolder f) => f a0 -> f (a, a0) #
UnfoldableR p f => UnfoldableR p (Reverse f) #
Instance details Defined in Data.Unfoldable.Restricted Methods unfoldRestrict :: (p a, Unfolder f0) => f0 a -> f0 (Reverse f a) #
(Bounded a, Enum a) => UnfoldableR Unit (Constant a :: * -> *) #
Instance details Defined in Data.Unfoldable.Restricted Methods unfoldRestrict :: (Unit a0, Unfolder f) => f a0 -> f (Constant a a0) #
(UnfoldableR p f, UnfoldableR p g) => UnfoldableR p (Sum f g) #
Instance details Defined in Data.Unfoldable.Restricted Methods unfoldRestrict :: (p a, Unfolder f0) => f0 a -> f0 (Sum f g a) #
(UnfoldableR p f, UnfoldableR p g) => UnfoldableR p (Product f g) #
Instance details Defined in Data.Unfoldable.Restricted Methods unfoldRestrict :: (p a, Unfolder f0) => f0 a -> f0 (Product f g a) #

unfoldRestrict_ :: (UnfoldableR Unit t, Unfolder f) => f (t ()) #

unfoldRestrictBF :: (UnfoldableR p t, Unfolder f, p a) => f a -> f (t a) #

unfoldRestrictBF_ :: (UnfoldableR Unit t, Unfolder f) => f (t ()) #

unfoldrRestrict :: (UnfoldableR p t, p a) => (b -> Maybe (a, b)) -> b -> Maybe (t a) #

fromList :: (UnfoldableR p t, p a) => [a] -> Maybe (t a) #

leftMost :: UnfoldableR Unit t => Maybe (t ()) #

rightMost :: UnfoldableR Unit t => Maybe (t ()) #

allDepthFirst :: UnfoldableR Unit t => [t ()] #

allToDepth :: UnfoldableR Unit t => Int -> [t ()] #

allBreadthFirst :: UnfoldableR Unit t => [t ()] #

Biunfoldable

class BiunfoldableR (predA :: * -> Constraint) (predB :: * -> Constraint) (t :: * -> * -> *) | t -> predA predB where #

Minimal complete definition

biunfoldRestrict

Methods

biunfoldRestrict :: (predA a, predB b, Unfolder f) => f a -> f b -> f (t a b) #

Instances

BiunfoldableR Ord Unit Map #
Instance details Defined in Data.Unfoldable.Restricted Methods biunfoldRestrict :: (Ord a, Unit b, Unfolder f) => f a -> f b -> f (Map a b) #
BiunfoldableR Unit Unit Either #
Instance details Defined in Data.Unfoldable.Restricted Methods biunfoldRestrict :: (Unit a, Unit b, Unfolder f) => f a -> f b -> f (Either a b) #
BiunfoldableR Unit Unit (,) #
Instance details Defined in Data.Unfoldable.Restricted Methods biunfoldRestrict :: (Unit a, Unit b, Unfolder f) => f a -> f b -> f (a, b) #
BiunfoldableR Hashable' Unit HashMap #
Instance details Defined in Data.Unfoldable.Restricted Methods biunfoldRestrict :: (Hashable' a, Unit b, Unfolder f) => f a -> f b -> f (HashMap a b) #
BiunfoldableR Unit Unit (Constant :: * -> * -> *) #
Instance details Defined in Data.Unfoldable.Restricted Methods biunfoldRestrict :: (Unit a, Unit b, Unfolder f) => f a -> f b -> f (Constant a b) #

biunfoldRestrict_ :: (BiunfoldableR Unit Unit t, Unfolder f) => f (t () ()) #

biunfoldRestrictBF :: (BiunfoldableR p q t, Unfolder f, p a, q b) => f a -> f b -> f (t a b) #

biunfoldRestrictBF_ :: (BiunfoldableR Unit Unit t, Unfolder f) => f (t () ()) #

biunfoldrRestrict :: (BiunfoldableR p q t, p a, q b) => (c -> Maybe (a, c)) -> (c -> Maybe (b, c)) -> c -> Maybe (t a b) #

fromLists :: (BiunfoldableR p q t, p a, q b) => [a] -> [b] -> Maybe (t a b) #

Utils

class (Hashable a, Eq a) => Hashable' a #

Instances

(Hashable a, Eq a) => Hashable' a #
Instance details Defined in Data.Unfoldable.Restricted
UnfoldableR Hashable' HashSet #
Instance details Defined in Data.Unfoldable.Restricted Methods unfoldRestrict :: (Hashable' a, Unfolder f) => f a -> f (HashSet a) #
BiunfoldableR Hashable' Unit HashMap #
Instance details Defined in Data.Unfoldable.Restricted Methods biunfoldRestrict :: (Hashable' a, Unit b, Unfolder f) => f a -> f b -> f (HashMap a b) #