Numeric.Limp.Canon.Linear

Documentation

data Linear z r c

Constructors

Linear (Map (Either z r) (R c))

mkLinear :: (Ord z, Ord r) => [(Either z r, R c)] -> Linear z r c

evalR :: (Rep c, Ord z, Ord r) => Assignment z r c -> Linear z r c -> R c

varsOfLinear :: (Ord z, Ord r) => Linear z r c -> Set (Either z r)