Numeric.Limp.Canon.Convert

Documentation

linear :: (Rep c, Ord z, Ord r) => Linear z r c k -> (Linear z r c, R c)

constraint :: (Rep c, Ord z, Ord r) => Constraint z r c -> Constraint z r c

program :: (Rep c, Ord z, Ord r) => Program z r c -> Program z r c