testing-feat-1.0.0.0: Functional Enumeration of Algebraic Types

Test.Feat.Finite

Description

A datatype of finite sequences

data Finite a Source #

Constructors

Fields

Instances

Methods

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

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

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 #

empty :: Finite a #

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

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

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

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

show :: Finite a -> String #

showList :: [Finite a] -> ShowS #

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 #