testing-feat-1.1.0.0: Functional Enumeration of Algebraic Types

Safe HaskellSafe
LanguageHaskell98

Test.Feat.Finite

Description

A datatype of finite sequences

Documentation

data Finite a Source #

Constructors

Finite 

Fields

Instances

Functor Finite Source # 

Methods

fmap :: (a -> b) -> Finite a -> Finite b #

(<$) :: a -> Finite b -> Finite a #

Applicative Finite Source # 

Methods

pure :: a -> Finite a #

(<*>) :: Finite (a -> b) -> Finite a -> Finite b #

liftA2 :: (a -> b -> c) -> Finite a -> Finite b -> Finite c #

(*>) :: Finite a -> Finite b -> Finite b #

(<*) :: Finite a -> Finite b -> Finite a #

Alternative Finite Source # 

Methods

empty :: Finite a #

(<|>) :: Finite a -> Finite a -> Finite a #

some :: Finite a -> Finite [a] #

many :: Finite a -> Finite [a] #

Show a => Show (Finite a) Source # 

Methods

showsPrec :: Int -> Finite a -> ShowS #

show :: Finite a -> String #

showList :: [Finite a] -> ShowS #

Semigroup (Finite a) Source # 

Methods

(<>) :: Finite a -> Finite a -> Finite a #

sconcat :: NonEmpty (Finite a) -> Finite a #

stimes :: Integral b => b -> Finite a -> Finite a #

Monoid (Finite a) Source # 

Methods

mempty :: Finite a #

mappend :: Finite a -> Finite a -> Finite a #

mconcat :: [Finite a] -> Finite a #

type Index = Integer Source #

fromFinite :: Finite a -> (Index, [a]) Source #

finFin :: Integer -> Finite Integer Source #