Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
validTFFChar :: Char -> String Source
ppUninterp :: PrettyVar a => Signature a -> Doc Source
ppBuiltinType :: BuiltinType -> Doc Source
Safe Haskell | None |
---|---|
Language | Haskell2010 |
validTFFChar :: Char -> String Source
ppUninterp :: PrettyVar a => Signature a -> Doc Source
ppBuiltinType :: BuiltinType -> Doc Source