| License | MIT |
|---|---|
| Safe Haskell | None |
| Language | GHC2021 |
Language.Egison.Type.Pretty
Description
This module provides pretty printing for Egison types.
Synopsis
- prettyType :: Type -> String
- prettyTypeScheme :: TypeScheme -> String
- prettyTypeExpr :: TypeExpr -> String
- prettyTensorShape :: TensorShape -> String
- prettyIndex :: Index -> String
Documentation
prettyType :: Type -> String Source #
Pretty print a Type
prettyTypeScheme :: TypeScheme -> String Source #
Pretty print a TypeScheme
prettyTypeExpr :: TypeExpr -> String Source #
Pretty print a TypeExpr (source-level type)
prettyTensorShape :: TensorShape -> String Source #
Pretty print a TensorShape
prettyIndex :: Index -> String Source #
Pretty print an Index