Safe Haskell | None |
---|---|
Language | Haskell2010 |
Additional functionality for named
package.
Documentation
type family NamedInner n where ... Source #
NamedInner (NamedF Identity a _) = a | |
NamedInner (NamedF Maybe a _) = Maybe a |
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Additional functionality for named
package.
type family NamedInner n where ... Source #
NamedInner (NamedF Identity a _) = a | |
NamedInner (NamedF Maybe a _) = Maybe a |