| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Text.Format.Generic
Documentation
d_FormatSpec_6 ∷ () Source #
newtype T_FormatSpec_6 Source #
Constructors
| C_FormatSpec'46'constructor_27 (T_Char_6 → Maybe AgdaAny) |
d_ArgChunk_14 ∷ T_FormatSpec_6 → () Source #
d_ArgType_16 ∷ T_FormatSpec_6 → AgdaAny → () Source #
d_ArgChunk_54 ∷ T_FormatSpec_6 → () Source #
d_ArgType_56 ∷ T_FormatSpec_6 → AgdaAny → () Source #
d_Chunk_60 ∷ p → () Source #
data T_Chunk_60 Source #
Constructors
| C_Arg_62 AgdaAny | |
| C_Raw_64 T_String_6 |
d_Format_66 ∷ T_FormatSpec_6 → () Source #
d_size_68 ∷ T_FormatSpec_6 → [T_Chunk_60] → Integer Source #
du_size_68 ∷ [T_Chunk_60] → Integer Source #
d_Error_82 ∷ p → () Source #
data T_Error_82 Source #
d_RevWord_120 ∷ T_FormatSpec_6 → T_String_6 → () Source #
d_Prefix_122 ∷ T_FormatSpec_6 → T_String_6 → () Source #
d_push_126 ∷ T_FormatSpec_6 → T_String_6 → [T_Char_6] → [T_Chunk_60] → [T_Chunk_60] Source #
du_push_126 ∷ [T_Char_6] → [T_Chunk_60] → [T_Chunk_60] Source #
d_loop_134 ∷ T_FormatSpec_6 → T_String_6 → [T_Char_6] → [T_Char_6] → [T_Char_6] → T__'8846'__30 Source #
d_type_136 ∷ T_FormatSpec_6 → T_String_6 → [T_Char_6] → [T_Char_6] → T__'8846'__30 Source #
d_chunk_174 ∷ T_FormatSpec_6 → T_String_6 → [T_Char_6] → T_Char_6 → [T_Char_6] → T_Char_6 → T__'8846'__30 Source #
du_chunk_174 ∷ T_FormatSpec_6 → [T_Char_6] → [T_Char_6] → T_Char_6 → T__'8846'__30 Source #