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 |