Modulelinear-base-0.8.1

Data.Unrestricted.Linear

4 types
3 classes
13 values

Packagelinear-base-0.8.1
Exports20
LicenceMIT

valuelseq :: Consumable a => a %1 -> b %1 -> b

valuedup :: Dupable a => a %1 -> (a, a)

valuedup3 :: Dupable a => a %1 -> (a, a, a)

valuedup4 :: Dupable a => a %1 -> (a, a, a, a)

valuedup5 :: Dupable a => a %1 -> (a, a, a, a, a)

valuedup6 :: Dupable a => a %1 -> (a, a, a, a, a, a)

valuedup7 :: Dupable a => a %1 -> (a, a, a, a, a, a, a)

valuelift :: (a -> b) -> Ur a %1 -> Ur b

valuelift2 :: (a -> b -> c) -> Ur a %1 -> Ur b %1 -> Ur c

valueunur :: Ur a %1 -> a

valueevalUrT :: Functor m => UrT m a %1 -> m a

valueliftUrT :: (Movable a, Functor m) => m a %1 -> UrT m a

valuerunUrT :: UrT m a %1 -> m (Ur a)

classclass Consumable a where

Methods

consume :: a %1 -> ()

Instances60Consumable, …

Consumable ByteStringDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Consumable ShortByteStringDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Consumable VoidDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable IntegerDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Consumable NaturalDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Consumable AllDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable AnyDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable Int16Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Consumable Int32Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Consumable Int64Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Consumable Int8Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Consumable BoolDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable CharDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable DoubleDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable FloatDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable IntDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable OrderingDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable WordDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable Word16Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Consumable Word32Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Consumable Word64Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Consumable Word8Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Consumable PoolDefined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal
Consumable TextDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Consumable ()Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable (Array a)Defined in linear-base-0.8.1 · Data.Array.Mutable.Linear.Internal
Consumable (Replicator a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable (ReplicationStream a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable (Set a)Defined in linear-base-0.8.1 · Data.Set.Mutable.Linear.Internal
Consumable (Ur a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable (Vector a)Defined in linear-base-0.8.1 · Data.Vector.Mutable.Linear.Internal
Consumable a => Consumable (First a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable a => Consumable (Last a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable a => Consumable (Max a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable a => Consumable (Min a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable a => Consumable (WrappedMonoid a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable a => Consumable (NonEmpty a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable a => Consumable (First a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable a => Consumable (Last a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable a => Consumable (Dual a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable a => Consumable (Product a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable a => Consumable (Sum a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable a => Consumable (Maybe a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable a => Consumable (MovableNum a)Defined in linear-base-0.8.1 · Data.Num.Linear
Consumable a => Consumable (Vector a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable a => Consumable (a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable a => Consumable [a]Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Movable a => Consumable (AsMovable a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances
(Generic a, GConsumable (Rep a)) => Consumable (Generically a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable (HashMap k v)Defined in linear-base-0.8.1 · Data.HashMap.Mutable.Linear.Internal
Consumable (V 0 a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
(KnownNat n, Consumable a) => Consumable (V n a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
(Consumable a, Consumable b) => Consumable (Arg a b)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
(Consumable a, Consumable b) => Consumable (a, b)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
(Consumable e, Consumable a) => Consumable (Either e a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable (f a) => Consumable (Ap f a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Consumable (f a) => Consumable (Alt f a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
(Consumable a, Consumable b, Consumable c) => Consumable (a, b, c)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
(Consumable a, Consumable b, Consumable c, Consumable d) => Consumable (a, b, c, d)Defined in linear-base-0.8.1 · 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.8.1 · Data.Unrestricted.Linear.Internal.Consumable

classclass Consumable a => Dupable a where

Methods

dupR :: a %1 -> Replicator a
dup2 :: a %1 -> (a, a)

Instances46Dupable, …

Dupable ByteStringDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Dupable ShortByteStringDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Dupable IntegerDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Dupable NaturalDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Dupable AllDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
Dupable AnyDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
Dupable Int16Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Dupable Int32Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Dupable Int64Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Dupable Int8Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Dupable BoolDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
Dupable CharDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
Dupable DoubleDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
Dupable FloatDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
Dupable IntDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
Dupable OrderingDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
Dupable WordDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
Dupable Word16Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Dupable Word32Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Dupable Word64Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Dupable Word8Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Dupable PoolDefined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal
Dupable TextDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Dupable ()Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
Dupable (Array a)Defined in linear-base-0.8.1 · Data.Array.Mutable.Linear.Internal
Dupable (Replicator a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
Dupable (ReplicationStream a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
Dupable (Set a)Defined in linear-base-0.8.1 · Data.Set.Mutable.Linear.Internal
Dupable (Ur a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
Dupable (Vector a)Defined in linear-base-0.8.1 · Data.Vector.Mutable.Linear.Internal
Dupable a => Dupable (NonEmpty a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
Dupable a => Dupable (Product a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
Dupable a => Dupable (Sum a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
Dupable a => Dupable (Maybe a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
Dupable a => Dupable (MovableNum a)Defined in linear-base-0.8.1 · Data.Num.Linear
Dupable a => Dupable (a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
Dupable a => Dupable [a]Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
Movable a => Dupable (AsMovable a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances
(Generic a, GDupable (Rep a)) => Dupable (Generically a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
Dupable (HashMap k v)Defined in linear-base-0.8.1 · Data.HashMap.Mutable.Linear.Internal
(KnownNat n, Dupable a) => Dupable (V n a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
(Dupable a, Dupable b) => Dupable (Either a b)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
(Dupable a, Dupable b) => Dupable (a, b)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
(Dupable a, Dupable b, Dupable c) => Dupable (a, b, c)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
(Dupable a, Dupable b, Dupable c, Dupable d) => Dupable (a, b, c, d)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
(Dupable a, Dupable b, Dupable c, Dupable d, Dupable e) => Dupable (a, b, c, d, e)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable

newtypenewtype AsMovable a

Constructors

AsMovable a

Instances3Consumable, Dupable, Movable

Movable a => Consumable (AsMovable a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances
Movable a => Dupable (AsMovable a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances
Movable a => Movable (AsMovable a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances

newtypenewtype MovableMonoid a

Constructors

MovableMonoid a

Instances4Monoid, Semigroup

Semigroup a => Semigroup (MovableMonoid a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances
Monoid 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.Instances

classclass Dupable a => Movable a where

Methods

move :: a %1 -> Ur a

Instances38Movable, …

Movable ByteStringDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Movable ShortByteStringDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Movable IntegerDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Movable NaturalDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Movable AllDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
Movable AnyDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
Movable Int16Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Movable Int32Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Movable Int64Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Movable Int8Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Movable BoolDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
Movable CharDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
Movable DoubleDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
Movable FloatDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
Movable IntDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
Movable OrderingDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
Movable WordDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
Movable Word16Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Movable Word32Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Movable Word64Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Movable Word8Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Movable TextDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances · orphan
Movable ()Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
Movable (Ur a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
Movable a => Movable (NonEmpty a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
Movable a => Movable (Product a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
Movable a => Movable (Sum a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
Movable a => Movable (Maybe a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
Movable a => Movable (MovableNum a)Defined in linear-base-0.8.1 · Data.Num.Linear
Movable a => Movable (AsMovable a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Instances
Movable a => Movable (a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
Movable a => Movable [a]Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
(Generic a, GMovable (Rep a)) => Movable (Generically a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
(Movable a, Movable b) => Movable (Either a b)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
(Movable a, Movable b) => Movable (a, b)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
(Movable a, Movable b, Movable c) => Movable (a, b, c)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
(Movable a, Movable b, Movable c, Movable d) => Movable (a, b, c, d)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
(Movable a, Movable b, Movable c, Movable d, Movable e) => Movable (a, b, c, d, e)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable

datadata Ur a where

Constructors

Ur :: a -> Ur a

Instances24Monad, Foldable, Traversable, Functor, Applicative, Generic1, …

Monad UrDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Ur
Functor UrDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Ur
Applicative UrDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Ur
Foldable UrDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Ur
Traversable UrDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Ur
Functor UrDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Applicative UrDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative
Generic1 UrDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Ur
Generic1 UrDefined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Ur
Generic (Ur a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Ur
Storable a => Storable (Ur a)Defined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal · orphan
Generic (Ur a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Ur
Monoid a => Monoid (Ur a)Defined in linear-base-0.8.1 · Data.Monoid.Linear.Internal.Monoid
Consumable (Ur a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Dupable (Ur a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
Movable (Ur a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
Semigroup a => Semigroup (Ur a)Defined in linear-base-0.8.1 · Data.Monoid.Linear.Internal.Semigroup
Eq a => Eq (Ur a)Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
Ord a => Ord (Ur a)Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
KnownRepresentable a => KnownRepresentable (Ur a)Defined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal
type Rep (Ur a) = D1 ('MetaData "Ur" "Data.Unrestricted.Linear.Internal.Ur" "linear-base-0.8.1-6Jev64B5sXbJD6krIue2YK" 'False) (C1 ('MetaCons "Ur" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Ur
type Rep1 Ur = D1 ('MetaData "Ur" "Data.Unrestricted.Linear.Internal.Ur" "linear-base-0.8.1-6Jev64B5sXbJD6krIue2YK" 'False) (C1 ('MetaCons "Ur" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Ur
type Rep (Ur a) = FixupMetaData (Ur a) (D1 Any (C1 Any (S1 Any (MP1 'Many (Rec0 a)))))Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Ur
type Rep1 Ur = FixupMetaData1 Ur (D1 Any (C1 Any (S1 Any (MP1 'Many Par1))))Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Ur

newtypenewtype UrT (m :: Type -> Type) a

Constructors

UrT (m (Ur a))

Instances3Monad, Functor, Applicative

Monad m => Monad (UrT m)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.UrT
Functor m => Functor (UrT m)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.UrT
Applicative m => Applicative (UrT m)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.UrT