dlms v1.0.0 (2020-05-09T15:37:08Z)
Dub
Repo
lift
lms
Lift a simple constant
Lift
!
T
lift
(T value)
Lift
!
T
lift
(
T
)
(
T
value
)
if
(
!
is
(
T
:
Lift
!
U
,
U
)
)
Lift
!
T
lift
(Lift!T lifted)
Meta
Source
See Implementation
lms
classes
BasicStage
Box
Constant
Lift
LmsEvaluationFailed
LmsException
LmsNameConflict
LmsNameResolution
Slot
functions
assertThrows
lift
interfaces
Stage
Lift a simple constant