Copilot.Core.Type.Show
Description
Show Copilot Core types and typed values.
data ShowWit a Source #
Witness datatype for showing a value, used by showWithType.
showWithType
Constructors
showWit :: Type a -> ShowWit a Source #
Turn a type into a show witness.
showWithType :: ShowType -> Type a -> a -> String Source #
Show a value. The representation depends on the type and the target language. Booleans are represented differently depending on the backend.
data ShowType Source #
Target language for showing a typed value. Used to adapt the representation of booleans.
showType :: Type a -> String Source #
Show Copilot Core type.