Modulelinear-base-0.8.1

Data.Replicator.Linear.Internal.ReplicationStream

value(<*>)

valueconsume :: ReplicationStream a %1 -> ()

valueduplicate

valueliftA2

valuemap :: (a %1 -> b) -> ReplicationStream a %1 -> ReplicationStream b

valuepure :: a -> ReplicationStream a

datadata ReplicationStream a where

ReplicationStream :: s -> (s %1 -> a) -> (s %1 -> (s, s)) -> (s %1 -> ()) -> ReplicationStream a

Instances4Functor, Applicative, Consumable, Dupable

Functor ReplicationStreamDefined in linear-base-0.8.1 · Data.Replicator.Linear.Internal.Instances · orphan
Applicative ReplicationStreamDefined in linear-base-0.8.1 · Data.Replicator.Linear.Internal.Instances · orphan
Consumable (ReplicationStream a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Dupable (ReplicationStream a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable