Binary CodeAttr Source # | |
|
Binary ListType Source # | |
|
Binary NumWrapper Source # | |
|
Binary Options Source # | |
|
Binary TypeInfo Source # | |
|
Binary DataOpt Source # | |
|
Binary DocTerm Source # | |
|
Binary CaseAlt Source # | |
|
Binary SC Source # | |
|
Binary CaseType Source # | |
|
Binary MetaInformation Source # | |
|
Binary PReason Source # | |
|
Binary Totality Source # | |
|
Binary Accessibility Source # | |
|
Binary CaseInfo Source # | |
|
Binary CaseDefs Source # | |
|
Binary Def Source # | |
|
Binary IRFormat Source # | |
|
Binary LanguageExt Source # | |
|
Binary Codegen Source # | |
|
Binary SyntaxInfo Source # | |
|
Binary Using Source # | |
|
Binary SSymbol Source # | |
|
Binary Syntax Source # | |
|
Binary SynContext Source # | |
|
Binary OptInfo Source # | |
|
Binary FnInfo Source # | |
|
Binary RecordInfo Source # | |
|
Binary InterfaceInfo Source # | |
|
Binary ArgOpt Source # | |
|
Binary PAltType Source # | |
|
Binary PTerm Source # | |
|
Binary PunInfo Source # | |
|
Binary Directive Source # | |
|
Binary FnOpt Source # | |
|
Binary Plicity Source # | |
|
Binary Static Source # | |
|
Binary FixDecl Source # | |
|
Binary Fixity Source # | |
|
Binary CGInfo Source # | |
|
Binary SizeChange Source # | |
|
Binary DefaultTotality Source # | |
|
Binary a => Binary (Inline a) Source # | |
|
Binary a => Binary (Block a) Source # | |
|
Binary a => Binary (Docstring a) Source # | |
|
Binary t => Binary (DSL' t) Source # | |
|
Binary t => Binary (PArg' t) Source # | |
|
Binary t => Binary (PDo' t) Source # | |
|
Binary t => Binary (PTactic' t) Source # | |
|
Binary t => Binary (PData' t) Source # | |
|
Binary t => Binary (PClause' t) Source # | |
|
Binary t => Binary (PDecl' t) Source # | |
|
Binary t => Binary (ProvideWhat' t) Source # | |
|