Safe Haskell	None
Language	GHC2021

Control.Monad.Borrow.Pure.Lifetime.Token

Synopsis

data Linearly
linearly :: Movable a => (Linearly %1 -> a) %1 -> a
data Now (α :: Lifetime)
class End (α :: Lifetime)
data EndToken (α :: Lifetime)
newtype After (α :: Lifetime) a = After (End α => a)
unAfter :: forall (α :: Lifetime) a. End α => After α a %1 -> a
withEnd :: forall (α :: Lifetime) r. EndToken α -> After α r %1 -> r
class LinearOnly (a :: TYPE rep)
withLinearly :: LinearOnly a => a %1 -> (Linearly, a)
withLinearly# :: forall (a :: UnliftedType). LinearOnly a => a %1 -> (# Linearly, a #)
endLifetime :: forall (i :: Nat). Now (Al i) %1 -> Ur (EndToken (Al i))
data SomeNow where
- MkSomeNow :: forall (i :: Nat). Now (Al i) -> SomeNow
newLifetime :: Linearly %1 -> SomeNow
newLifetime' :: Linearly %1 -> (forall (ι :: Nat). Now (Al ι) %1 -> a) %1 -> a
nowStatic :: Now Static
neverEnds :: (HasCallStack, End Static) => a

Documentation

data Linearly Source #

Witness that the current computation is in a linear context.

Instances

Instances details

Consumable Linearly Source #
Instance details Defined in Control.Monad.Borrow.Pure.Lifetime.Token.Internal Methods consume :: Linearly %1 -> () #
Dupable Linearly Source #
Instance details Defined in Control.Monad.Borrow.Pure.Lifetime.Token.Internal Methods dupR :: Linearly %1 -> Replicator Linearly # dup2 :: Linearly %1 -> (Linearly, Linearly) #
LinearOnly Linearly Source #
Instance details Defined in Control.Monad.Borrow.Pure.Lifetime.Token.Internal Methods linearOnly :: LinearOnlyWitness Linearly Source #

linearly :: Movable a => (Linearly %1 -> a) %1 -> a Source #

data Now (α :: Lifetime) Source #

Witness that the lifetime α is ongoing.

Instances

Instances details

LinearOnly (Now α :: Type) Source #
Instance details Defined in Control.Monad.Borrow.Pure.Lifetime.Token.Internal Methods linearOnly :: LinearOnlyWitness (Now α) Source #
Affine (Now α) Source #
Instance details Defined in Control.Monad.Borrow.Pure.Lifetime.Token.Internal Methods aff :: Now α %1 -> Aff (Now α) Source #

class End (α :: Lifetime) Source #

Witness that the lifetime α has ended.

Minimal complete definition

endToken

data EndToken (α :: Lifetime) Source #

Witness that the lifetime α has ended.

Instances

Instances details

α >= β => (EndToken α :: Type) <: (EndToken β :: Type) Source #
Instance details Defined in Control.Monad.Borrow.Pure.Lifetime.Token.Internal Methods subtype :: SubtypeWitness (EndToken α) (EndToken β) Source #

newtype After (α :: Lifetime) a Source #

Utility type to represent an object available after the lifetime α.

You can use Applicative and Monad instances to write After conveniently.

Constructors

After (End α => a)

Instances

Instances details

(α <= β, a <: b) => (After α a :: Type) <: (After β b :: Type) Source #
Instance details Defined in Control.Monad.Borrow.Pure.Lifetime.Token.Internal Methods subtype :: SubtypeWitness (After α a) (After β b) Source #
Applicative (After α) Source #
Instance details Defined in Control.Monad.Borrow.Pure.Lifetime.Token.Internal Methods pure :: a %1 -> After α a # (<*>) :: After α (a %1 -> b) %1 -> After α a %1 -> After α b # liftA2 :: (a %1 -> b %1 -> c) %1 -> After α a %1 -> After α b %1 -> After α c #
Functor (After α) Source #
Instance details Defined in Control.Monad.Borrow.Pure.Lifetime.Token.Internal Methods fmap :: (a %1 -> b) %1 -> After α a %1 -> After α b #
Monad (After α) Source #
Instance details Defined in Control.Monad.Borrow.Pure.Lifetime.Token.Internal Methods (>>=) :: After α a %1 -> (a %1 -> After α b) %1 -> After α b # (>>) :: After α () %1 -> After α a %1 -> After α a #
Applicative (After α) Source #
Instance details Defined in Control.Monad.Borrow.Pure.Lifetime.Token.Internal Methods pure :: a -> After α a # (<*>) :: After α (a %1 -> b) %1 -> After α a %1 -> After α b # liftA2 :: (a %1 -> b %1 -> c) -> After α a %1 -> After α b %1 -> After α c #
Functor (After α) Source #
Instance details Defined in Control.Monad.Borrow.Pure.Lifetime.Token.Internal Methods fmap :: (a %1 -> b) -> After α a %1 -> After α b #

unAfter :: forall (α :: Lifetime) a. End α => After α a %1 -> a Source #

withEnd :: forall (α :: Lifetime) r. EndToken α -> After α r %1 -> r Source #

class LinearOnly (a :: TYPE rep) Source #

A (non-bottom) value of the type a can only live in a linear context.

Minimal complete definition

linearOnly

Instances

Instances details

LinearOnly Linearly Source #
Instance details Defined in Control.Monad.Borrow.Pure.Lifetime.Token.Internal Methods linearOnly :: LinearOnlyWitness Linearly Source #
LinearOnly (Now α :: Type) Source #
Instance details Defined in Control.Monad.Borrow.Pure.Lifetime.Token.Internal Methods linearOnly :: LinearOnlyWitness (Now α) Source #
LinearOnly (Ref a :: Type) Source #
Instance details Defined in Data.Ref.Linear Methods linearOnly :: LinearOnlyWitness (Ref a) Source #
LinearOnly (Vector a :: Type) Source #
Instance details Defined in Data.Vector.Mutable.Linear.Borrow Methods linearOnly :: LinearOnlyWitness (Vector a) Source #
LinearOnly (Ref# a :: UnliftedType) Source #
Instance details Defined in Data.Ref.Linear.Unlifted Methods linearOnly :: LinearOnlyWitness (Ref# a) Source #
bk ~ 'Mut => LinearOnly (Borrow bk α a :: Type) Source #
Instance details Defined in Control.Monad.Borrow.Pure.BO.Internal Methods linearOnly :: LinearOnlyWitness (Borrow bk α a) Source #

withLinearly :: LinearOnly a => a %1 -> (Linearly, a) Source #

withLinearly# :: forall (a :: UnliftedType). LinearOnly a => a %1 -> (# Linearly, a #) Source #

endLifetime :: forall (i :: Nat). Now (Al i) %1 -> Ur (EndToken (Al i)) Source #

data SomeNow where Source #

Constructors

MkSomeNow :: forall (i :: Nat). Now (Al i) -> SomeNow

newLifetime :: Linearly %1 -> SomeNow Source #

newLifetime' :: Linearly %1 -> (forall (ι :: Nat). Now (Al ι) %1 -> a) %1 -> a Source #

nowStatic :: Now Static Source #

Static Lifetime is always available.

neverEnds :: (HasCallStack, End Static) => a Source #

Static lifetime lasts forever.