lorentz-0.6.0: EDSL for the Michelson Language
Safe HaskellNone
LanguageHaskell2010

Lorentz.Wrappable

Synopsis

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 (UStore a) Source # 
Instance details

Defined in Lorentz.UStore.Types

Associated Types

type Unwrappable (UStore a) Source #

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 (MigrationScript oldStore newStore) Source # 
Instance details

Defined in Lorentz.UStore.Migration.Base

Associated Types

type Unwrappable (MigrationScript oldStore newStore) 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 (UStore a) Source # 
Instance details

Defined in Lorentz.UStore.Types

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 (MigrationScript oldStore newStore) Source # 
Instance details

Defined in Lorentz.UStore.Migration.Base

type Unwrappable (MigrationScript oldStore newStore)
type Unwrappable (Extensible x) Source # 
Instance details

Defined in Lorentz.Extensible

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