Safe Haskell	None
Language	Haskell2010

Lorentz.EntryPoints.Manual

Description

Allows specifying entrypoints without declaring ParamterHasEntryPoints instance.

Synopsis

newtype ParameterWrapper (deriv :: Type) cp = ParameterWrapper {
- unParameterWraper :: cp
}

Documentation

newtype ParameterWrapper (deriv :: Type) cp Source #

Wrap parameter into this to locally assign a way to derive entrypoints for it.

Constructors

ParameterWrapper
Fields unParameterWraper :: cp

Instances

Instances details

Generic (ParameterWrapper deriv cp) Source #
Instance details Defined in Lorentz.EntryPoints.Manual Associated Types type Rep (ParameterWrapper deriv cp) :: Type -> Type # Methods from :: ParameterWrapper deriv cp -> Rep (ParameterWrapper deriv cp) x # to :: Rep (ParameterWrapper deriv cp) x -> ParameterWrapper deriv cp #
Wrapped (ParameterWrapper deriv cp) Source #
Instance details Defined in Lorentz.EntryPoints.Manual Associated Types type Unwrapped (ParameterWrapper deriv cp) # Methods _Wrapped' :: Iso' (ParameterWrapper deriv cp) (Unwrapped (ParameterWrapper deriv cp)) #
IsoValue cp => IsoValue (ParameterWrapper deriv cp) Source #
Instance details Defined in Lorentz.EntryPoints.Manual Associated Types type ToT (ParameterWrapper deriv cp) :: T # Methods toVal :: ParameterWrapper deriv cp -> Value (ToT (ParameterWrapper deriv cp)) # fromVal :: Value (ToT (ParameterWrapper deriv cp)) -> ParameterWrapper deriv cp #
(NiceParameter cp, EntryPointsDerivation epd cp, RequireAllUniqueEntryPoints' epd cp) => ParameterHasEntryPoints (ParameterWrapper epd cp) Source #
Instance details Defined in Lorentz.EntryPoints.Manual Associated Types type ParameterEntryPointsDerivation (ParameterWrapper epd cp) Source #
type Rep (ParameterWrapper deriv cp) Source #
Instance details Defined in Lorentz.EntryPoints.Manual type Rep (ParameterWrapper deriv cp) = D1 ('MetaData "ParameterWrapper" "Lorentz.EntryPoints.Manual" "lorentz-0.4.0-4bB2PLHB7038abCZLw1vnA" 'True) (C1 ('MetaCons "ParameterWrapper" 'PrefixI 'True) (S1 ('MetaSel ('Just "unParameterWraper") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 cp)))
type Unwrapped (ParameterWrapper deriv cp) Source #
Instance details Defined in Lorentz.EntryPoints.Manual type Unwrapped (ParameterWrapper deriv cp) = GUnwrapped (Rep (ParameterWrapper deriv cp))
type ToT (ParameterWrapper deriv cp) Source #
Instance details Defined in Lorentz.EntryPoints.Manual type ToT (ParameterWrapper deriv cp) = GValueType (Rep (ParameterWrapper deriv cp))
type ParameterEntryPointsDerivation (ParameterWrapper epd cp) Source #
Instance details Defined in Lorentz.EntryPoints.Manual type ParameterEntryPointsDerivation (ParameterWrapper epd cp)