Documentation

d_FormatSpec_6 :: () #

newtype T_FormatSpec_6 #

d_ArgChunk_14 :: T_FormatSpec_6 -> () #

d_ArgType_16 :: T_FormatSpec_6 -> AgdaAny -> () #

d_lexArg_18 :: T_FormatSpec_6 -> T_Char_6 -> Maybe AgdaAny #

d_unionSpec_24 :: T_FormatSpec_6 -> T_FormatSpec_6 -> T_FormatSpec_6 #

d_ArgChunk_54 :: T_FormatSpec_6 -> () #

d_ArgType_56 :: T_FormatSpec_6 -> AgdaAny -> () #

d_lexArg_58 :: T_FormatSpec_6 -> T_Char_6 -> Maybe AgdaAny #

d_Chunk_60 :: p -> () #

data T_Chunk_60 #

d_Format_66 :: T_FormatSpec_6 -> () #

d_size_68 :: T_FormatSpec_6 -> [T_Chunk_60] -> Integer #

du_size_68 :: [T_Chunk_60] -> Integer #

d_'10214'_'10215'_74 :: T_FormatSpec_6 -> [T_Chunk_60] -> AgdaAny #

du_'10214'_'10215'_74 :: [T_Chunk_60] -> AgdaAny #

d_Error_82 :: p -> () #

data T_Error_82 #

d_lexer_88 :: T_FormatSpec_6 -> T_String_6 -> T__'8846'__30 #

d_RevWord_130 :: T_FormatSpec_6 -> T_String_6 -> () #

d_Prefix_132 :: T_FormatSpec_6 -> T_String_6 -> () #

d_toRevString_134 :: T_FormatSpec_6 -> T_String_6 -> [T_Char_6] -> T_String_6 #

du_toRevString_134 :: [T_Char_6] -> T_String_6 #

d_push_136 :: T_FormatSpec_6 -> T_String_6 -> [T_Char_6] -> [T_Chunk_60] -> [T_Chunk_60] #

du_push_136 :: [T_Char_6] -> [T_Chunk_60] -> [T_Chunk_60] #

d_loop_144 :: T_FormatSpec_6 -> T_String_6 -> [T_Char_6] -> [T_Char_6] -> [T_Char_6] -> T__'8846'__30 #

d_type_146 :: T_FormatSpec_6 -> T_String_6 -> [T_Char_6] -> [T_Char_6] -> T__'8846'__30 #

d_chunk_184 :: T_FormatSpec_6 -> T_String_6 -> [T_Char_6] -> T_Char_6 -> [T_Char_6] -> T_Char_6 -> T__'8846'__30 #

du_chunk_184 :: T_FormatSpec_6 -> [T_Char_6] -> [T_Char_6] -> T_Char_6 -> T__'8846'__30 #