Module

Data.Group.Free

Package: purescript-free-group
Repository: hrb90/purescript-free-group

#Signed Source

data Signed a

Constructors

Positive a
Negative a

Instances

(Eq a) => Eq (Signed a)
(Show a) => Show (Signed a)

#Free Source

newtype Free a

Constructors

Free (List (Signed a))

Instances

(Eq a) => Eq (Free a)
(Show a) => Show (Free a)
(Eq a) => Semigroup (Free a)
(Eq a) => Monoid (Free a)
(Eq a) => Group (Free a)

#free Source

free :: forall a. a -> Free a

Modules: Data.Group.Free