Safe Haskell	None
Language	Haskell2010

Lorentz.Wrappable

Synopsis

class ToT s ~ ToT (Unwrappable s) => Wrappable (s :: Type)
type family Unwrappable s :: Type

Documentation

class ToT s ~ ToT (Unwrappable s) => Wrappable (s :: Type) Source #

Wrappable is similar to lens Wrapped class without the method. It provides type family that is mainly used as constraint when unwrapping Lorentz instruction into a Haskell newtype and vice versa.

Instances

Instances details

Wrappable (UParam entries) Source #
Instance details Defined in Lorentz.UParam Associated Types type Unwrappable (UParam entries) Source #
Wrappable (ParameterWrapper deriv cp) Source #
Instance details Defined in Lorentz.Entrypoints.Manual Associated Types type Unwrappable (ParameterWrapper deriv cp) Source #
Wrappable (Extensible x) Source #
Instance details Defined in Lorentz.Extensible Associated Types type Unwrappable (Extensible x) Source #
Wrappable (NamedF Maybe a name) Source #
Instance details Defined in Lorentz.Wrappable Associated Types type Unwrappable (NamedF Maybe a name) Source #
Wrappable (NamedF Identity a name) Source #
Instance details Defined in Lorentz.Wrappable Associated Types type Unwrappable (NamedF Identity a name) Source #

type family Unwrappable s :: Type Source #

Instances

Instances details

type Unwrappable (UParam entries) Source #
Instance details Defined in Lorentz.UParam type Unwrappable (UParam entries)
type Unwrappable (ParameterWrapper deriv cp) Source #
Instance details Defined in Lorentz.Entrypoints.Manual type Unwrappable (ParameterWrapper deriv cp)
type Unwrappable (Extensible x) Source #
Instance details Defined in Lorentz.Extensible type Unwrappable (Extensible x)
type Unwrappable (NamedF Maybe a name) Source #
Instance details Defined in Lorentz.Wrappable type Unwrappable (NamedF Maybe a name) = Maybe a
type Unwrappable (NamedF Identity a name) Source #
Instance details Defined in Lorentz.Wrappable type Unwrappable (NamedF Identity a name) = a