Test.Feat.Finite
Description
A datatype of finite sequences
data Finite a Source #
Constructors
Fields
Defined in Test.Feat.Finite
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 #
(<>) :: Finite a -> Finite a -> Finite a #
sconcat :: NonEmpty (Finite a) -> Finite a #
stimes :: Integral b => b -> Finite a -> Finite a #
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 #