Test.Feat.Finite

A datatype of finite sequences

Documentation

data Finite a

Constructors

Finite

Fields

• fCard :: Index
• fIndex :: Index -> a

Instances

Functor Finite

Methods

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

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

Applicative Finite

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

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)

Methods

showsPrec :: Int -> Finite a -> ShowS

show :: Finite a -> String

showList :: [Finite a] -> ShowS

Semigroup (Finite a)

Methods

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

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

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

Monoid (Finite a)

Methods

mempty :: Finite a

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

mconcat :: [Finite a] -> Finite a

type Index = Integer

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

finFin :: Integer -> Finite Integer