HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulelinear-base-0.4.0Haskell2010

Data.Unrestricted.Linear.Internal.Consumable

  • 2 classes
  • 3 values

Consumable

3 declarations
classclass Consumable a where
#

Methods

Instances55Consumable, …
  • Consumable VoidDefined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable AllDefined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable AnyDefined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable Int16Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Instances · orphan
  • Consumable Int32Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Instances · orphan
  • Consumable Int64Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Instances · orphan
  • Consumable Int8Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Instances · orphan
  • Consumable Word16Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Instances · orphan
  • Consumable Word32Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Instances · orphan
  • Consumable Word64Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Instances · orphan
  • Consumable Word8Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Instances · orphan
  • Consumable BoolDefined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable CharDefined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable DoubleDefined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable FloatDefined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable IntDefined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable OrderingDefined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable WordDefined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable PoolDefined in linear-base-0.4.0 · Foreign.Marshal.Pure.Internal
  • Consumable ()Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable (Array a)Defined in linear-base-0.4.0 · Data.Array.Mutable.Linear.Internal
  • Consumable (Replicator a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable (ReplicationStream a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable (Set a)Defined in linear-base-0.4.0 · Data.Set.Mutable.Linear.Internal
  • Consumable (Ur a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable (Vector a)Defined in linear-base-0.4.0 · Data.Vector.Mutable.Linear.Internal
  • Consumable a => Consumable (First a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable a => Consumable (Last a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable a => Consumable (Max a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable a => Consumable (Min a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable a => Consumable (WrappedMonoid a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable a => Consumable (NonEmpty a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable a => Consumable (First a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable a => Consumable (Last a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable a => Consumable (Dual a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable a => Consumable (Product a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable a => Consumable (Sum a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable a => Consumable (Maybe a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable a => Consumable (MovableNum a)Defined in linear-base-0.4.0 · Data.Num.Linear
  • Consumable a => Consumable (Vector a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable a => Consumable (a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable a => Consumable [a]Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Movable a => Consumable (AsMovable a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Instances
  • (Generic a, GConsumable (Rep a)) => Consumable (Generically a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable (HashMap k v)Defined in linear-base-0.4.0 · Data.HashMap.Mutable.Linear.Internal
  • Consumable (V 0 a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Instances · orphan
  • (KnownNat n, Consumable a) => Consumable (V n a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Instances · orphan
  • (Consumable a, Consumable b) => Consumable (Arg a b)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • (Consumable a, Consumable b) => Consumable (a, b)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • (Consumable e, Consumable a) => Consumable (Either e a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable (f a) => Consumable (Ap f a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable (f a) => Consumable (Alt f a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • (Consumable a, Consumable b, Consumable c) => Consumable (a, b, c)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • (Consumable a, Consumable b, Consumable c, Consumable d) => Consumable (a, b, c, d)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • (Consumable a, Consumable b, Consumable c, Consumable d, Consumable e) => Consumable (a, b, c, d, e)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
valuelseq :: Consumable a => a %1 -> b %1 -> b
#

Consume the first argument and return the second argument. This is like seq but the first argument is restricted to be Consumable.

valueseqUnit :: () %1 -> b %1 -> b
#

Consume the unit and return the second argument. This is like seq but since the first argument is restricted to be of type () it is consumed, hence seqUnit is linear in its first argument.

Generic deriving

2 declarations
classclass GConsumable (f :: Type -> Type) where
#

A class for generic representations that can be consumed.

Instances13GConsumable, …
  • GConsumable U1Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • GConsumable UCharDefined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • GConsumable UDoubleDefined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • GConsumable UFloatDefined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • GConsumable UIntDefined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • GConsumable UWordDefined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • GConsumable V1Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • Consumable c => GConsumable (K1 i c)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • GConsumable (MP1 'Many f)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • GConsumable f => GConsumable (MP1 'One f)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • (GConsumable f, GConsumable g) => GConsumable (f :*: g)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • (GConsumable f, GConsumable g) => GConsumable (f :+: g)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
  • GConsumable f => GConsumable (M1 i t f)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Consumable
valuegenericConsume :: (Generic a, GConsumable (Rep a)) => a %1 -> ()
#