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

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) :: Type # 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) :: Type 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.1.0-1IijY81BuYC4to9wXiBP3G" 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)