HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulelinear-base-0.4.0Haskell2010

Data.Unrestricted.Linear.Internal.Instances

This module exports instances of Consumable, Dupable and Movable

We export instances in this module to avoid a circular dependence and keep things clean. Movable depends on the defintion of Ur yet many instances of Movable which we might have put in the module with Movable depend on Ur. So, we just put the instances of Movable and the other classes (for cleanness) in this module to avoid this dependence.

  • 2 types
newtypenewtype AsMovable a
#

Newtype that must be used with DerivingVia to get efficient Dupable and Consumable implementations for Movable types.

Constructors

  • AsMovable a
Instances3Consumable, Dupable, Movable
  • Movable a => Consumable (AsMovable a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Instances
  • Movable a => Dupable (AsMovable a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Instances
  • Movable a => Movable (AsMovable a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Instances
newtypenewtype MovableMonoid a
#

Constructors

  • MovableMonoid a
Instances4Monoid, Semigroup
  • Semigroup a => Semigroup (MovableMonoid a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Instances
  • Monoid a => Monoid (MovableMonoid a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Instances
  • (Movable a, Monoid a) => Monoid (MovableMonoid a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Instances
  • (Movable a, Semigroup a) => Semigroup (MovableMonoid a)Defined in linear-base-0.4.0 · Data.Unrestricted.Linear.Internal.Instances

Orphan instances

27 instances