Data.Semiring.Free

Documentation

newtype Free a

Constructors

Free

Fields

• getFree :: Map (Identity a) Natural

Instances

Eq a => Eq (Free a)

Defined in Data.Semiring.Free

Methods

(==) :: Free a -> Free a -> Bool

(/=) :: Free a -> Free a -> Bool

Ord a => Ord (Free a)

Defined in Data.Semiring.Free

Methods

compare :: Free a -> Free a -> Ordering

(<) :: Free a -> Free a -> Bool

(<=) :: Free a -> Free a -> Bool

(>) :: Free a -> Free a -> Bool

(>=) :: Free a -> Free a -> Bool

max :: Free a -> Free a -> Free a

min :: Free a -> Free a -> Free a

(Ord a, Read a) => Read (Free a)

Defined in Data.Semiring.Free

Methods

readsPrec :: Int -> ReadS (Free a)

readList :: ReadS [Free a]

readPrec :: ReadPrec (Free a)

readListPrec :: ReadPrec [Free a]

Show a => Show (Free a)

Defined in Data.Semiring.Free

Methods

showsPrec :: Int -> Free a -> ShowS

show :: Free a -> String

showList :: [Free a] -> ShowS

(Ord a, Monoid a) => Semiring (Free a)

Defined in Data.Semiring.Free

Methods

plus :: Free a -> Free a -> Free a

zero :: Free a

times :: Free a -> Free a -> Free a

one :: Free a

runFree :: Semiring s => (a -> s) -> Free a -> s

lowerFree :: Semiring s => Free s -> s

liftFree :: a -> Free a