Safe Haskell | None |
---|---|
Language | Haskell2010 |
- showA :: (Show c, ToConcrete a c) => a -> TCM String
- prettyA :: (Pretty c, ToConcrete a c) => a -> TCM Doc
- prettyAs :: (Pretty c, ToConcrete a [c]) => a -> TCM Doc
- showATop :: (Show c, ToConcrete a c) => a -> TCM String
- prettyATop :: (Pretty c, ToConcrete a c) => a -> TCM Doc