TyTTP.Core.Error

Definitions

interface Error : Type -> Type

Parameters: e
Methods:

message : e -> String

Implementation: 

Error String

message : Error e => e -> String

Visibility: public export