Modulelinear-base-0.8.1

Data.Replicator.Linear.Internal

value(<*>) :: Replicator (a %1 -> b) %1 -> Replicator a %1 -> Replicator b

valueconsume :: Replicator a %1 -> ()

valueduplicate :: Replicator a %1 -> Replicator (Replicator a)

valueelim

:: (Elim (NatToPeano n) a b, IsFunN a b f, f ~ FunN (NatToPeano n) a b, n ~ Arity b f)
=> f
-> Replicator a
-> b

valueextend :: (Replicator a %1 -> b) -> Replicator a %1 -> Replicator b

valueextract :: Replicator a %1 -> a

valueliftA2

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

valuenext :: Replicator a %1 -> (a, Replicator a)

valuenext# :: Replicator a %1 -> (# a, Replicator a #)

valuepure :: a -> Replicator a

valuetake :: Int -> Replicator a %1 -> [a]

classclass Elim (n :: Peano) a b where

Instances3Elim

Elim 'Z a bDefined in linear-base-0.8.1 · Data.Replicator.Linear.Internal
Elim ('S 'Z) a bDefined in linear-base-0.8.1 · Data.Replicator.Linear.Internal
Elim ('S n) a b => Elim ('S ('S n)) a bDefined in linear-base-0.8.1 · Data.Replicator.Linear.Internal

datadata Replicator a where

Instances4Functor, Applicative, Consumable, Dupable

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