Safe Haskell	None
Language	Haskell2010

Control.Enumerable.Count

Synopsis

newtype Count a = Count {
- count :: [Integer]
}
(!!*) :: Count a -> Int -> Integer
(</>) :: Count a -> Count a -> Count a
module Control.Enumerable

Documentation

newtype Count a Source #

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

Constructors

Count
Fields count :: [Integer]

Instances

Functor Count Source #
Instance details Defined in Control.Enumerable.Count Methods fmap :: (a -> b) -> Count a -> Count b # (<$) :: a -> Count b -> Count a #
Applicative Count Source #
Instance details Defined in Control.Enumerable.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 Source #
Instance details Defined in Control.Enumerable.Count Methods empty :: Count a # (<\|>) :: Count a -> Count a -> Count a # some :: Count a -> Count [a] # many :: Count a -> Count [a] #
Sized Count Source #
Instance details Defined in Control.Enumerable.Count Methods pay :: Count a -> Count a Source # pair :: Count a -> Count b -> Count (a, b) Source # aconcat :: [Count a] -> Count a Source # fin :: Integer -> Count Integer Source # finSized :: Integer -> Count Integer Source # naturals :: Count Integer Source #
Show (Count a) Source #
Instance details Defined in Control.Enumerable.Count Methods showsPrec :: Int -> Count a -> ShowS # show :: Count a -> String # showList :: [Count a] -> ShowS #
Semigroup (Count a) Source #
Instance details Defined in Control.Enumerable.Count Methods (<>) :: Count a -> Count a -> Count a # sconcat :: NonEmpty (Count a) -> Count a # stimes :: Integral b => b -> Count a -> Count a #
Monoid (Count a) Source #
Instance details Defined in Control.Enumerable.Count Methods mempty :: Count a # mappend :: Count a -> Count a -> Count a # mconcat :: [Count a] -> Count a #

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

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

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

module Control.Enumerable