Primus.Rep

Documentation

buildRepL :: forall f a b. (Traversable f, Representable f) => ([Rep f] -> [Rep f] -> b -> Rep f -> (b, a)) -> b -> (b, f a)

builds a representable from the left using past and future inputs

buildRepR :: forall f a b. (Traversable f, Representable f) => ([Rep f] -> [Rep f] -> b -> Rep f -> (b, a)) -> b -> (b, f a)

same as buildRepL but associates to the right

fillRep :: forall f a. (Representable f, Traversable f) => [a] -> Either String ([a], f a)

fill a representable container with a foldable

toEnumRep :: forall f a. (Traversable f, Representable f, Enum a, Bounded a) => Integer -> Either String (f a)

load a fixed container with "a"s using the relative position "i"

izipWithR :: Representable f => (Rep f -> a -> b -> c) -> f a -> f b -> f c

zipWith with rep index

izipWithRF :: (Representable f, Distributive g) => (Rep f -> a -> b -> g c) -> f a -> f b -> g (f c)

zipWithM with rep index

ipostscanr :: (Representable f, Traversable f) => (Rep f -> a -> b -> b) -> b -> f a -> f b

like scanr passes in the Rep index and removes the first element

ipostscanl :: (Representable f, Traversable f) => (Rep f -> b -> a -> b) -> b -> f a -> f b

like scanl passes in the Rep index and removes the last element

unfoldlRep :: (Representable f, Traversable f) => (Rep f -> s -> (s, a)) -> s -> (s, f a)

left/right unfold from the right into a Representable

unfoldrRep :: (Representable f, Traversable f) => (Rep f -> s -> (s, a)) -> s -> (s, f a)

left/right unfold from the right into a Representable