Safe Haskell | Ignore |
---|---|
Language | Haskell2010 |
GHC.Core.Coercion
Description
Module for (a) type kinds and (b) type coercions,
as used in System FC. See Expr
for
more on System FC and how coercions fit into it.
Safe Haskell | Ignore |
---|---|
Language | Haskell2010 |
GHC.Core.Coercion
Description
Module for (a) type kinds and (b) type coercions,
as used in System FC. See Expr
for
more on System FC and how coercions fit into it.