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