Data.Linear.Alias.Internal

Documentation

data Alias m a where

A reference counted alias

Constructors

Alias

Fields

• :: (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 :: k0). 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

forall m b. SomeAlias (Alias m b)

class Fields rep where

Methods

fields :: rep a -> [SomeAlias]

Instances

Fields (U1 :: k -> Type)

Defined in Data.Linear.Alias.Internal

Methods

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

Fields (V1 :: k -> Type)

Defined in Data.Linear.Alias.Internal

Methods

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

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

Defined in Data.Linear.Alias.Internal

Methods

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

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

Defined in Data.Linear.Alias.Internal

Methods

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

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

Defined in Data.Linear.Alias.Internal

Methods

fields :: forall (a0 :: k0). 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 :: k0). M1 i c f a -> [SomeAlias]