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 #  
