Safe Haskell | None |
---|---|
Language | Haskell2010 |
Provides a simple example of how the extensible-sp is | employed. Two functions foo and bar both define an | independent sum constraint. foobar aggregates them.
Documentation
foobar :: (String :|: Int) -> String :|: Int Source #
Fix a concrete type for the extensible sum | and utilize the two polymorphic functions | foo and bar.
foobar' :: (((Char :|: String) :|: Int) :|: ()) -> ((Char :|: String) :|: Int) :|: () Source #
The concrete type need not be the minimal sum
runExample :: IO () Source #
run the example