Data.LCA.View

Documentation

data View f a

Provides a consistent View for peeling off the bottom node of a path.

Constructors

Root

Node !Int a (f a)

Instances

Functor f => Functor (View f)

Defined in Data.LCA.View

Methods

fmap :: (a -> b) -> View f a -> View f b

(<$) :: a -> View f b -> View f a

Foldable f => Foldable (View f)

Defined in Data.LCA.View

Methods

fold :: Monoid m => View f m -> m

foldMap :: Monoid m => (a -> m) -> View f a -> m

foldMap' :: Monoid m => (a -> m) -> View f a -> m

foldr :: (a -> b -> b) -> b -> View f a -> b

foldr' :: (a -> b -> b) -> b -> View f a -> b

foldl :: (b -> a -> b) -> b -> View f a -> b

foldl' :: (b -> a -> b) -> b -> View f a -> b

foldr1 :: (a -> a -> a) -> View f a -> a

foldl1 :: (a -> a -> a) -> View f a -> a

toList :: View f a -> [a]

null :: View f a -> Bool

length :: View f a -> Int

elem :: Eq a => a -> View f a -> Bool

maximum :: Ord a => View f a -> a

minimum :: Ord a => View f a -> a

sum :: Num a => View f a -> a

product :: Num a => View f a -> a

Traversable f => Traversable (View f)

Defined in Data.LCA.View

Methods

traverse :: Applicative f0 => (a -> f0 b) -> View f a -> f0 (View f b)

sequenceA :: Applicative f0 => View f (f0 a) -> f0 (View f a)

mapM :: Monad m => (a -> m b) -> View f a -> m (View f b)

sequence :: Monad m => View f (m a) -> m (View f a)

(Eq a, Eq (f a)) => Eq (View f a)

Defined in Data.LCA.View

Methods

(==) :: View f a -> View f a -> Bool

(/=) :: View f a -> View f a -> Bool

(Ord a, Ord (f a)) => Ord (View f a)

Defined in Data.LCA.View

Methods

compare :: View f a -> View f a -> Ordering

(<) :: View f a -> View f a -> Bool

(<=) :: View f a -> View f a -> Bool

(>) :: View f a -> View f a -> Bool

(>=) :: View f a -> View f a -> Bool

max :: View f a -> View f a -> View f a

min :: View f a -> View f a -> View f a

(Read a, Read (f a)) => Read (View f a)

Defined in Data.LCA.View

Methods

readsPrec :: Int -> ReadS (View f a)

readList :: ReadS [View f a]

readPrec :: ReadPrec (View f a)

readListPrec :: ReadPrec [View f a]

(Show a, Show (f a)) => Show (View f a)

Defined in Data.LCA.View

Methods

showsPrec :: Int -> View f a -> ShowS

show :: View f a -> String

showList :: [View f a] -> ShowS