:: a typeCtrl KGHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 2026-10-11
Modulelinear-base-0.8.1
Movable a => Consumable (AsMovable a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.InstancesMovable a => Dupable (AsMovable a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.InstancesMovable a => Movable (AsMovable a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.InstancesSemigroup a => Semigroup (MovableMonoid a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.InstancesMonoid a => Monoid (MovableMonoid a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances(Movable a, Monoid a) => Monoid (MovableMonoid a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances(Movable a, Semigroup a) => Semigroup (MovableMonoid a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.InstancesConsumable ByteStringConsumable ShortByteStringConsumable IntegerConsumable NaturalConsumable Int16Consumable Int32Consumable Int64Consumable Int8Consumable Word16Consumable Word32Consumable Word64Consumable Word8Consumable TextDupable ByteStringDupable ShortByteStringDupable IntegerDupable NaturalDupable Int16Dupable Int32Dupable Int64Dupable Int8Dupable Word16Dupable Word32Dupable Word64Dupable Word8Dupable TextMovable ByteStringMovable ShortByteStringMovable IntegerMovable NaturalMovable Int16Movable Int32Movable Int64Movable Int8Movable Word16Movable Word32Movable Word64Movable Word8Movable TextConsumable (V 0
a)(KnownNat n, Consumable a) => Consumable (V n a)(KnownNat n, Dupable a) => Dupable (V n a)