@hackage motor dependencies

10 results

Core data structures and operations

Reifies arbitrary terms into types that can be reflected back into terms

Indexed functors, monads and comonads that require extensions to Haskell98

Haskell98 indexed functors, monads, comonads

Open records using closed type families.

Core data structures and operations

Type-safe effectful state machines in Haskell

Indexed functors, monads and comonads that require extensions to Haskell98

Haskell98 indexed functors, monads, comonads

Open records using closed type families.