Data.CList

Documentation

module Data.Peano

data CList n a where

Constructors

Nil :: CList Zero a

(:.) :: a -> CList n a -> CList (Succ n) a infixr 5

Instances

Functor (CList n)

Methods

fmap :: (a -> b) -> CList n a -> CList n b

(<$) :: a -> CList n b -> CList n a

Applicative (CList n) => Applicative (CList (Succ n))

Methods

pure :: a -> CList (Succ n) a

(<*>) :: CList (Succ n) (a -> b) -> CList (Succ n) a -> CList (Succ n) b

(*>) :: CList (Succ n) a -> CList (Succ n) b -> CList (Succ n) b

(<*) :: CList (Succ n) a -> CList (Succ n) b -> CList (Succ n) a

Applicative (CList Zero)

Methods

pure :: a -> CList Zero a

(<*>) :: CList Zero (a -> b) -> CList Zero a -> CList Zero b

(*>) :: CList Zero a -> CList Zero b -> CList Zero b

(<*) :: CList Zero a -> CList Zero b -> CList Zero a

Foldable (CList n)

Methods

fold :: Monoid m => CList n m -> m

foldMap :: Monoid m => (a -> m) -> CList n a -> m

foldr :: (a -> b -> b) -> b -> CList n a -> b

foldr' :: (a -> b -> b) -> b -> CList n a -> b

foldl :: (b -> a -> b) -> b -> CList n a -> b

foldl' :: (b -> a -> b) -> b -> CList n a -> b

foldr1 :: (a -> a -> a) -> CList n a -> a

foldl1 :: (a -> a -> a) -> CList n a -> a

toList :: CList n a -> [a]

null :: CList n a -> Bool

length :: CList n a -> Int

elem :: Eq a => a -> CList n a -> Bool

maximum :: Ord a => CList n a -> a

minimum :: Ord a => CList n a -> a

sum :: Num a => CList n a -> a

product :: Num a => CList n a -> a

Traversable (CList n)

Methods

traverse :: Applicative f => (a -> f b) -> CList n a -> f (CList n b)

sequenceA :: Applicative f => CList n (f a) -> f (CList n a)

mapM :: Monad m => (a -> m b) -> CList n a -> m (CList n b)

sequence :: Monad m => CList n (m a) -> m (CList n a)

Eq a => Eq (CList n a)

Methods

(==) :: CList n a -> CList n a -> Bool

(/=) :: CList n a -> CList n a -> Bool

Ord a => Ord (CList n a)

Methods

compare :: CList n a -> CList n a -> Ordering

(<) :: CList n a -> CList n a -> Bool

(<=) :: CList n a -> CList n a -> Bool

(>) :: CList n a -> CList n a -> Bool

(>=) :: CList n a -> CList n a -> Bool

max :: CList n a -> CList n a -> CList n a

min :: CList n a -> CList n a -> CList n a

Show a => Show (CList n a)

Methods

showsPrec :: Int -> CList n a -> ShowS

show :: CList n a -> String

showList :: [CList n a] -> ShowS

Semigroup a => Semigroup (CList n a)

Methods

(<>) :: CList n a -> CList n a -> CList n a

sconcat :: NonEmpty (CList n a) -> CList n a

stimes :: Integral b => b -> CList n a -> CList n a

(Semigroup a, Semigroup (CList n a), Monoid a, Monoid (CList n a)) => Monoid (CList (Succ n) a)

Methods

mempty :: CList (Succ n) a

mappend :: CList (Succ n) a -> CList (Succ n) a -> CList (Succ n) a

mconcat :: [CList (Succ n) a] -> CList (Succ n) a

(Semigroup a, Monoid a) => Monoid (CList Zero a)

Methods

mempty :: CList Zero a

mappend :: CList Zero a -> CList Zero a -> CList Zero a

mconcat :: [CList Zero a] -> CList Zero a

uncons :: CList (Succ n) a -> (a, CList n a)

head :: CList (Succ n) a -> a

tail :: CList (Succ n) a -> CList n a

init :: CList (Succ n) a -> CList n a

last :: CList (Succ n) a -> a

reverse :: CList n a -> CList n a