Documentation

d_PrintfSpec_18 ∷ p → p → p → () Source #

data T_PrintfSpec_18 Source #

d_ArgType_30 ∷ T_Level_18 → T_FormatSpec_6 → () → AgdaAny → () Source #

d_ArgChunk_42 ∷ T_Level_18 → T_FormatSpec_6 → () → T_PrintfSpec_18 → () Source #

d_ArgType_44 ∷ T_Level_18 → T_FormatSpec_6 → () → T_PrintfSpec_18 → AgdaAny → () Source #

d_lexArg_46 ∷ T_Level_18 → T_FormatSpec_6 → () → T_PrintfSpec_18 → T_Char_6 → Maybe AgdaAny Source #

du_lexArg_46 ∷ T_FormatSpec_6 → T_Char_6 → Maybe AgdaAny Source #

d_renderArg_50 ∷ T_PrintfSpec_18 → AgdaAny → AgdaAny → AgdaAny Source #

d_renderStr_52 ∷ T_PrintfSpec_18 → T_String_6 → AgdaAny Source #

d_Format_66 ∷ T_FormatSpec_6 → () Source #

d_Error_68 ∷ p → () Source #

d_Error_98 ∷ p → p → p → () Source #

data T_Error_98 Source #

d_Size_104 ∷ T_FormatSpec_6 → T__'8846'__30 → Integer Source #

du_Size_104 ∷ T__'8846'__30 → Integer Source #

d_Printf_112 ∷ T_FormatSpec_6 → T_Level_18 → T__'8846'__30 → () → () Source #

d_map_122 ∷ T_FormatSpec_6 → T_Level_18 → () → T_Level_18 → () → T__'8846'__30 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du_map_122 ∷ T__'8846'__30 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d_ArgChunk_146 ∷ T_Level_18 → () → T_FormatSpec_6 → T_PrintfSpec_18 → () Source #

d_ArgType_148 ∷ T_Level_18 → () → T_FormatSpec_6 → T_PrintfSpec_18 → AgdaAny → () Source #

d_lexArg_150 ∷ T_Level_18 → () → T_FormatSpec_6 → T_PrintfSpec_18 → T_Char_6 → Maybe AgdaAny Source #

du_lexArg_150 ∷ T_FormatSpec_6 → T_Char_6 → Maybe AgdaAny Source #

d_renderArg_152 ∷ T_PrintfSpec_18 → AgdaAny → AgdaAny → AgdaAny Source #

d_renderStr_154 ∷ T_PrintfSpec_18 → T_String_6 → AgdaAny Source #

d_Error_158 ∷ p → p → p → p → p → p → () Source #

d_Printf_162 ∷ T_Level_18 → () → T_FormatSpec_6 → T_PrintfSpec_18 → T_Level_18 → T__'8846'__30 → () → () Source #

d_map_164 ∷ T_Level_18 → () → T_FormatSpec_6 → T_PrintfSpec_18 → T_Level_18 → () → T_Level_18 → () → T__'8846'__30 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du_map_164 ∷ T_Level_18 → () → T_Level_18 → () → T__'8846'__30 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

d_lexer_184 ∷ T_Level_18 → () → T_FormatSpec_6 → T_PrintfSpec_18 → T_String_6 → T__'8846'__30 Source #

du_lexer_184 ∷ T_FormatSpec_6 → T_String_6 → T__'8846'__30 Source #

d_'10214'_'10215'_188 ∷ T_Level_18 → () → T_FormatSpec_6 → T_PrintfSpec_18 → [T_Chunk_62] → AgdaAny Source #

du_'10214'_'10215'_188 ∷ [T_Chunk_62] → AgdaAny Source #

d_assemble_204 ∷ T_Level_18 → () → T_FormatSpec_6 → T_PrintfSpec_18 → [T_Chunk_62] → AgdaAny → [AgdaAny] Source #

du_assemble_204 ∷ T_PrintfSpec_18 → [T_Chunk_62] → AgdaAny → [AgdaAny] Source #

d_printf'8242'_224 ∷ T_Level_18 → () → T_FormatSpec_6 → T_PrintfSpec_18 → T__'8846'__30 → AgdaAny Source #

du_printf'8242'_224 ∷ T_PrintfSpec_18 → T__'8846'__30 → AgdaAny Source #

d_printf_232 ∷ T_Level_18 → () → T_FormatSpec_6 → T_PrintfSpec_18 → T_String_6 → AgdaAny Source #

du_printf_232 ∷ T_FormatSpec_6 → T_PrintfSpec_18 → T_String_6 → AgdaAny Source #