Data.Linear.Alias.Internal

Documentation

data Alias (m :: Type -> Type) a where

A reference counted alias

Constructors

Alias

Fields

• :: forall a (m :: Type -> Type). (a %1 -> m ())

  Function to free resource when the last alias is forgotten

• -> !Counter

  The counter associated to this reference counted alias

• -> a

  The aliased resource

• -> Alias m a

Instances

Forgettable μ (Alias μ a)

Defined in Data.Linear.Alias

Methods

forget :: Alias μ a %1 -> μ ()

Shareable m (Alias μ a)

Defined in Data.Linear.Alias

Methods

share :: Alias μ a %1 -> m (Alias μ a, Alias μ a)

Fields (K1 i (Alias m a) :: k -> Type)

Defined in Data.Linear.Alias.Internal

Methods

fields :: forall (a0 :: k). K1 i (Alias m a) a0 -> [SomeAlias]

countedFields :: (Generic a, Fields (Rep a)) => a -> [SomeAlias]

Return all reference counted (recursively nested) fields of a. These are not only Aliases directly, but all the recursively nested Aliases in a.

data SomeAlias

Constructors

SomeAlias (Alias m b)

class Fields (rep :: k -> Type) where

Methods

fields :: forall (a :: k). rep a -> [SomeAlias]

Instances

Fields (U1 :: k -> Type)

Defined in Data.Linear.Alias.Internal

Methods

fields :: forall (a :: k). U1 a -> [SomeAlias]

Fields (V1 :: k -> Type)

Defined in Data.Linear.Alias.Internal

Methods

fields :: forall (a :: k). V1 a -> [SomeAlias]

(Fields a, Fields b) => Fields (a :*: b :: k -> Type)

Defined in Data.Linear.Alias.Internal

Methods

fields :: forall (a0 :: k). (a :*: b) a0 -> [SomeAlias]

(Fields a, Fields b) => Fields (a :+: b :: k -> Type)

Defined in Data.Linear.Alias.Internal

Methods

fields :: forall (a0 :: k). (a :+: b) a0 -> [SomeAlias]

Fields (K1 i (Alias m a) :: k -> Type)

Defined in Data.Linear.Alias.Internal

Methods

fields :: forall (a0 :: k). K1 i (Alias m a) a0 -> [SomeAlias]

Fields f => Fields (M1 i c f :: k -> Type)

Defined in Data.Linear.Alias.Internal

Methods

fields :: forall (a :: k). M1 i c f a -> [SomeAlias]