Data.Semiring.Free

The Free semiring.

Documentation

newtype Free a

The free semiring

Constructors

Free

Fields

• getFree :: Map (Seq a) Natural

Instances

Foldable Free

Methods

fold :: Monoid m => Free m -> m

foldMap :: Monoid m => (a -> m) -> Free a -> m

foldr :: (a -> b -> b) -> b -> Free a -> b

foldr' :: (a -> b -> b) -> b -> Free a -> b

foldl :: (b -> a -> b) -> b -> Free a -> b

foldl' :: (b -> a -> b) -> b -> Free a -> b

foldr1 :: (a -> a -> a) -> Free a -> a

foldl1 :: (a -> a -> a) -> Free a -> a

toList :: Free a -> [a]

null :: Free a -> Bool

length :: Free a -> Int

elem :: Eq a => a -> Free a -> Bool

maximum :: Ord a => Free a -> a

minimum :: Ord a => Free a -> a

sum :: Num a => Free a -> a

product :: Num a => Free a -> a

Eq a => Eq (Free a)

Methods

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

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

Ord a => Num (Free a)

Methods

(+) :: Free a -> Free a -> Free a

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

(*) :: Free a -> Free a -> Free a

negate :: Free a -> Free a

abs :: Free a -> Free a

signum :: Free a -> Free a

fromInteger :: Integer -> Free a

Ord a => Ord (Free a)

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

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

Methods

readsPrec :: Int -> ReadS (Free a)

readList :: ReadS [Free a]

readPrec :: ReadPrec (Free a)

readListPrec :: ReadPrec [Free a]

Show a => Show (Free a)

Methods

showsPrec :: Int -> Free a -> ShowS

show :: Free a -> String

showList :: [Free a] -> ShowS

Ord a => Semiring (Free a)

Methods

zero :: Free a

one :: Free a

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

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

add :: [Free a] -> Free a

mul :: [Free a] -> Free a

liftFree :: a -> Free a

Create a Free with one item.

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

Run a Free, interpreting it in the underlying semiring.

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

Run a Free.