lift package:numeric-prelude

lift :: (v -> v) -> T a v -> T a v
numeric-prelude Number.OccasionallyScalarExpression
lift :: (a -> b) -> T i a -> T i b
numeric-prelude Number.Physical
apply a function to the numeric value while preserving the unit
lift :: (PValue v0 -> PValue v1) -> T a v0 -> T a v1
numeric-prelude Number.SI
liftCompare :: C b => (a -> b) -> a -> a -> Ordering
numeric-prelude Algebra.Indexable
Lift compare implementation from a wrapped object.
liftCmpTable2 :: Ix i => (T i -> T i -> a) -> T i -> T i -> a
numeric-prelude MathObj.Permutation.CycleList.Check
liftTable2 :: Ix i => (T i -> T i -> T i) -> T i -> T i -> T i
numeric-prelude MathObj.Permutation.CycleList.Check
lift0 :: [a] -> T a
numeric-prelude MathObj.PowerSeries MathObj.PowerSum MathObj.RootSet
lift1 :: ([a] -> [a]) -> T a -> T a
numeric-prelude MathObj.PowerSeries MathObj.PowerSum MathObj.RootSet
lift2 :: ([a] -> [a] -> [a]) -> T a -> T a -> T a
numeric-prelude MathObj.PowerSeries MathObj.PowerSum MathObj.RootSet
lift0 :: T a -> T a
numeric-prelude MathObj.PowerSeries2
lift1 :: (T a -> T a) -> T a -> T a
numeric-prelude MathObj.PowerSeries2
lift2 :: (T a -> T a -> T a) -> T a -> T a -> T a
numeric-prelude MathObj.PowerSeries2
lift0fromPowerSeries :: [T a] -> T a
numeric-prelude MathObj.PowerSeries2.Core
lift1fromPowerSeries :: ([T a] -> [T a]) -> T a -> T a
numeric-prelude MathObj.PowerSeries2.Core
lift2fromPowerSeries :: ([T a] -> [T a] -> [T a]) -> T a -> T a -> T a
numeric-prelude MathObj.PowerSeries2.Core
liftPowerSum1 :: (C a, C a) => ([a] -> [a]) -> [a] -> [a]
numeric-prelude MathObj.RootSet
liftPowerSum1Gen :: ([a] -> [a]) -> ([a] -> [a]) -> ([a] -> [a]) -> [a] -> [a]
numeric-prelude MathObj.RootSet
liftPowerSum2 :: (C a, C a) => ([a] -> [a] -> [a]) -> [a] -> [a] -> [a]
numeric-prelude MathObj.RootSet
liftPowerSum2Gen :: ([a] -> [a]) -> ([a] -> [a]) -> ([a] -> [a] -> [a]) -> [a] -> [a] -> [a]
numeric-prelude MathObj.RootSet
liftPowerSumInt1 :: (C a, Eq a, C a) => ([a] -> [a]) -> [a] -> [a]
numeric-prelude MathObj.RootSet
liftPowerSumInt2 :: (C a, Eq a, C a) => ([a] -> [a] -> [a]) -> [a] -> [a] -> [a]
numeric-prelude MathObj.RootSet
lift1 :: (a -> b) -> T a -> T b
numeric-prelude MathObj.Wrapper.Haskell98 MathObj.Wrapper.NumericPrelude
lift2 :: (a -> b -> c) -> T a -> T b -> T c
numeric-prelude MathObj.Wrapper.Haskell98 MathObj.Wrapper.NumericPrelude
liftShowPosToInt :: (Integer -> String) -> Integer -> String
numeric-prelude Number.FixedPoint
lift0 :: Integer -> (Integer -> Integer) -> T
numeric-prelude Number.FixedPoint.Check