dlms ~master (2020-05-09T15:49:03Z)
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
Constant
Lift
Slot
functions
lift
interfaces
Stage
Lift a simple constant