Copilot.Core.Type.Show

Show Copilot Core types and typed values.

Documentation

data ShowWit a

Deprecated: This type is deprecated in Copilot 3.7.

Witness datatype for showing a value, used by showWithType.

Constructors

Show a => ShowWit

Deprecated: This type is deprecated in Copilot 3.7.

showWithType :: ShowType -> Type a -> a -> String

Show a value. The representation depends on the type and the target language. Booleans are represented differently depending on the backend.

data ShowType

Target language for showing a typed value. Used to adapt the representation of booleans.

Constructors

C

Haskell

showType :: Type a -> String

Show Copilot Core type.