noether-0.0.1: Math in Haskell.
Noether.Algebra.Subtyping
class Subtype a b where Source #
Minimal complete definition
embed
Methods
embed :: a -> b Source #
embed :: Subtype a b => a -> b Source #