Mikan
Safe HaskellNone
LanguageHaskell2010

Mikan.TypeChecking.Serialise.Instances.Errors

Orphan instances

EmbPrj ProfileOption Source # 
Instance details

Methods

icode :: ProfileOption -> S Word32 Source #

icod_ :: ProfileOption -> S Word32 Source #

value :: Word32 -> R ProfileOption Source #

EmbPrj ProfileOptions Source # 
Instance details

Methods

icode :: ProfileOptions -> S Word32 Source #

icod_ :: ProfileOptions -> S Word32 Source #

value :: Word32 -> R ProfileOptions Source #

EmbPrj PragmaOptions Source # 
Instance details

Methods

icode :: PragmaOptions -> S Word32 Source #

icod_ :: PragmaOptions -> S Word32 Source #

value :: Word32 -> R PragmaOptions Source #

EmbPrj WarningMode Source # 
Instance details

Methods

icode :: WarningMode -> S Word32 Source #

icod_ :: WarningMode -> S Word32 Source #

value :: Word32 -> R WarningMode Source #

EmbPrj WarningName Source # 
Instance details

Methods

icode :: WarningName -> S Word32 Source #

icod_ :: WarningName -> S Word32 Source #

value :: Word32 -> R WarningName Source #

EmbPrj Doc Source # 
Instance details

Methods

icode :: Doc -> S Word32 Source #

icod_ :: Doc -> S Word32 Source #

value :: Word32 -> R Doc Source #

EmbPrj UnicodeOrAscii Source # 
Instance details

Methods

icode :: UnicodeOrAscii -> S Word32 Source #

icod_ :: UnicodeOrAscii -> S Word32 Source #

value :: Word32 -> R UnicodeOrAscii Source #

EmbPrj CutOff Source # 
Instance details

Methods

icode :: CutOff -> S Word32 Source #

icod_ :: CutOff -> S Word32 Source #

value :: Word32 -> R CutOff Source #

EmbPrj Context Source # 
Instance details

Methods

icode :: Context -> S Word32 Source #

icod_ :: Context -> S Word32 Source #

value :: Word32 -> R Context Source #

EmbPrj ContextEntry Source # 
Instance details

Methods

icode :: ContextEntry -> S Word32 Source #

icod_ :: ContextEntry -> S Word32 Source #

value :: Word32 -> R ContextEntry Source #

EmbPrj DiagnosticReason Source # 
Instance details

Methods

icode :: DiagnosticReason -> S Word32 Source #

icod_ :: DiagnosticReason -> S Word32 Source #

value :: Word32 -> R DiagnosticReason Source #

EmbPrj EncodedDiagnostic Source # 
Instance details

Methods

icode :: EncodedDiagnostic -> S Word32 Source #

icod_ :: EncodedDiagnostic -> S Word32 Source #

value :: Word32 -> R EncodedDiagnostic Source #

a ~ EncodedDiagnostic => EmbPrj (TCWarning' a) Source # 
Instance details

Methods

icode :: TCWarning' a -> S Word32 Source #

icod_ :: TCWarning' a -> S Word32 Source #

value :: Word32 -> R (TCWarning' a) Source #