Copyright	(c) 2016 Allele Dev; 2017 Ixperta Solutions s.r.o.
License	BSD3
Maintainer	ixcom-core@ixperta.com
Stability	experimental
Portability	GHC specific language extensions.
Safe Haskell	None
Language	Haskell2010

Data.OpenUnion.Internal

Description

These are internal definitions and should be used with caution. There are no guarantees that the API of this module will be preserved between minor versions of this package.

Open unions (type-indexed co-products, i.e. type-indexed sums) for extensible effects All operations are constant-time.

Based on OpenUnion51.hs.

Type-list r :: [* -> *] of open union components is a small Universe. Therefore, we can use a Typeable-like evidence in that universe. In our case a simple index of an element in the type-list is sufficient substitution for Typeable.

Synopsis

Documentation

data Union r a where Source #

Open union is a strong sum (existential with an evidence).

Constructors

Union :: !Word -> t a -> Union r a

unsafeInj :: Word -> t a -> Union r a Source #

Takes a request of type t :: * -> *, and injects it into the Union.

Summand is assigning a specified Word value, which is a position in the type-list (t ': r) :: * -> *.

This function is unsafe.

O(1)

unsafePrj :: Word -> Union r a -> Maybe (t a) Source #

Project a value of type Union (t ': r) :: * -> * into a possible summand of the type t :: * -> *. Nothing means that t :: * -> * is not the value stored in the Union (t ': r) :: * -> *.

It is assumed that summand is stored in the Union when the Word value is the same value as is stored in the Union.

This function is unsafe.

O(1)

newtype P t r Source #

Represents position of element t :: * -> * in a type list r :: [* -> *].

Constructors

P
Fields unP :: Word

class FindElem t r where Source #

Find an index of an element t :: * -> * in a type list r :: [* -> *]. The element must exist.

This is essentially a compile-time computation without run-time overhead.

Minimal complete definition

elemNo

Methods

elemNo :: P t r Source #

Position of the element t :: * -> * in a type list r :: [* -> *].

Position is computed during compilation, i.e. there is no run-time overhead.

O(1)

Instances

FindElem t r => FindElem t ((:) (* -> *) t' r) Source #	Recursion; element is not at the current position, but is somewhere in the list.
Methods elemNo :: P [* -> ] ( -> ) t ((( -> *) ': t') r) Source #
FindElem t ((:) (* -> *) t r) Source #	Base case; element is at the current position in the list.
Methods elemNo :: P [* -> ] ( -> ) t ((( -> *) ': t) r) Source #

class FindElem t r => Member t r where Source #

This type class is used for two following purposes:

As a Constraint it guarantees that t :: * -> * is a member of a type-list r :: [* -> *].
Provides a way how to inject/project t :: * -> * into/from a Union, respectively.

Following law has to hold:

prj . inj === Just

Minimal complete definition

inj, prj

Methods

inj :: t a -> Union r a Source #

Takes a request of type t :: * -> *, and injects it into the Union.

O(1)

prj :: Union r a -> Maybe (t a) Source #

Project a value of type Union (t ': r) :: * -> * into a possible summand of the type t :: * -> *. Nothing means that t :: * -> * is not the value stored in the Union (t ': r) :: * -> *.

O(1)

Instances

FindElem t r => Member t r Source #
Methods inj :: t a -> Union * r a Source # prj :: Union * r a -> Maybe (t a) Source #

decomp :: Union (t ': r) a -> Either (Union r a) (t a) Source #

Orthogonal decomposition of a Union (t ': r) :: * -> *. Right value is returned if the Union (t ': r) :: * -> * contains t :: * -> *, and Left when it doesn't. Notice that Left value contains Union r :: * -> *, i.e. it can not contain t :: * -> *.

O(1)

decomp0 :: Union '[t] a -> Either (Union '[] a) (t a) Source #

Specialized version of decomp for efficiency.

O(1)

TODO: Check that it actually adds on efficiency.

extract :: Union '[t] a -> t a Source #

Specialised version of 'prj'\/'decomp' that works on an Union '[t] :: * -> * which contains only one specific summand. Hence the absence of Maybe, and Either.

O(1)

weaken :: Union r a -> Union (any ': r) a Source #

Inject whole Union r into a weaker Union (any ': r) that has one more summand.

O(1)