Relude.Extra.Type

Contains useful functions to work with Types.

Documentation

typeName :: forall a. Typeable a => Text

Gets a string representation of a type.

NOTE: This must be used with TypeApplications language extension.

>>> typeName @()
"()"
>>> typeName @Int
"Int"
>>> typeName @String
"[Char]"
>>> typeName @(Maybe Int)
"Maybe Int"