noether-0.0.1: Math in Haskell.

Safe HaskellSafe
LanguageHaskell2010

Noether.Algebra.Subtyping

Documentation

class Subtype a b where Source #

Minimal complete definition

embed

Methods

embed :: a -> b Source #

embed :: Subtype a b => a -> b Source #