Documentation

d_FormatSpec_6 ∷ () Source #

newtype T_FormatSpec_6 Source #

d_ArgChunk_14 ∷ T_FormatSpec_6 → () Source #

d_ArgType_16 ∷ T_FormatSpec_6 → AgdaAny → () Source #

d_lexArg_18 ∷ T_FormatSpec_6 → T_Char_6 → Maybe AgdaAny Source #

d_unionSpec_26 ∷ T_FormatSpec_6 → T_FormatSpec_6 → T_FormatSpec_6 Source #

d_ArgChunk_56 ∷ T_FormatSpec_6 → () Source #

d_ArgType_58 ∷ T_FormatSpec_6 → AgdaAny → () Source #

d_lexArg_60 ∷ T_FormatSpec_6 → T_Char_6 → Maybe AgdaAny Source #

d_Chunk_62 ∷ p → () Source #

data T_Chunk_62 Source #

d_Format_68 ∷ T_FormatSpec_6 → () Source #

d_size_70 ∷ T_FormatSpec_6 → [T_Chunk_62] → Integer Source #

du_size_70 ∷ [T_Chunk_62] → Integer Source #

d_'10214'_'10215'_76 ∷ T_FormatSpec_6 → [T_Chunk_62] → AgdaAny Source #

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

d_Error_84 ∷ p → () Source #

data T_Error_84 Source #

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

d_RevWord_132 ∷ T_FormatSpec_6 → T_String_6 → () Source #

d_Prefix_134 ∷ T_FormatSpec_6 → T_String_6 → () Source #

d_toRevString_136 ∷ T_FormatSpec_6 → T_String_6 → [T_Char_6] → T_String_6 Source #

du_toRevString_136 ∷ [T_Char_6] → T_String_6 Source #

d_push_138 ∷ T_FormatSpec_6 → T_String_6 → [T_Char_6] → [T_Chunk_62] → [T_Chunk_62] Source #

du_push_138 ∷ [T_Char_6] → [T_Chunk_62] → [T_Chunk_62] Source #

d_loop_146 ∷ T_FormatSpec_6 → T_String_6 → [T_Char_6] → [T_Char_6] → [T_Char_6] → T__'8846'__30 Source #

d_type_148 ∷ T_FormatSpec_6 → T_String_6 → [T_Char_6] → [T_Char_6] → T__'8846'__30 Source #

d_chunk_186 ∷ T_FormatSpec_6 → T_String_6 → [T_Char_6] → T_Char_6 → [T_Char_6] → T_Char_6 → T__'8846'__30 Source #

du_chunk_186 ∷ T_FormatSpec_6 → [T_Char_6] → [T_Char_6] → T_Char_6 → T__'8846'__30 Source #