Control.Enumerable.Count

Documentation

newtype Count a

Counts the number of values of a all sizes. Usage: @global :: Count [Bool]

Constructors

Count

Fields

• count :: [Integer]

Instances

Functor Count

Methods

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

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

Applicative Count

Methods

pure :: a -> Count a

(<*>) :: Count (a -> b) -> Count a -> Count b

liftA2 :: (a -> b -> c) -> Count a -> Count b -> Count c

(*>) :: Count a -> Count b -> Count b

(<*) :: Count a -> Count b -> Count a

Alternative Count

Methods

empty :: Count a

(<|>) :: Count a -> Count a -> Count a

some :: Count a -> Count [a]

many :: Count a -> Count [a]

Sized Count

Methods

pay :: Count a -> Count a

pair :: Count a -> Count b -> Count (a, b)

aconcat :: [Count a] -> Count a

fin :: Integer -> Count Integer

finSized :: Integer -> Count Integer

naturals :: Count Integer

Show (Count a)

Methods

showsPrec :: Int -> Count a -> ShowS

show :: Count a -> String

showList :: [Count a] -> ShowS

Semigroup (Count a)

Methods

(<>) :: Count a -> Count a -> Count a

sconcat :: NonEmpty (Count a) -> Count a

stimes :: Integral b => b -> Count a -> Count a

Monoid (Count a)

Methods

mempty :: Count a

mappend :: Count a -> Count a -> Count a

mconcat :: [Count a] -> Count a

(!!*) :: Count a -> Int -> Integer

Counts the number of values of a given size, 0 if out of bounds.

(</>) :: Count a -> Count a -> Count a infixl 4

module Control.Enumerable