Modulelinear-base-0.8.1

Data.Unrestricted.Linear.Internal.UrT

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)

newtypenewtype UrT (m :: Type -> Type) 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