copilot-core-3.2.1: An intermediate representation for Copilot.
Safe HaskellSafe
LanguageHaskell2010

Copilot.Core.Type.Show

Description

Show Copilot Core types and typed values.

Synopsis

Documentation

data ShowWit a Source #

Witness datatype for showing a value, used by showWithType.

Constructors

Show a => ShowWit 

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.

Constructors

C 
Haskell 

showType :: Type a -> String Source #

Show Copilot Core type.