testing-feat-1.0.0.0: Functional Enumeration of Algebraic Types

Safe Haskell	Safe
Language	Haskell98

Test.Feat.Finite

Description

A datatype of finite sequences

Documentation

data Finite a Source #

Constructors

Finite
Fields fCard :: Index fIndex :: Index -> a

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 #
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 #