Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
module Data.Type.Witness.Apply
module Data.Type.Equality
module Data.Proxy
module Data.PeanoNat
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
module Data.Type.Witness.Apply
module Data.Type.Equality
module Data.Proxy
module Data.PeanoNat