Agda-2.6.4.2: A dependently typed functional programming language and proof assistant
Safe HaskellNone
LanguageHaskell2010

Agda.TypeChecking.Serialise.Instances.Abstract

Documentation

Orphan instances

EmbPrj BindName Source # 
Instance details

EmbPrj Suffix Source # 
Instance details

EmbPrj Access Source # 
Instance details

EmbPrj ParenPreference Source # 
Instance details

EmbPrj Precedence Source # 
Instance details

EmbPrj ConPatInfo Source # 
Instance details

EmbPrj ConPatLazy Source # 
Instance details

EmbPrj AbstractModule Source # 
Instance details

EmbPrj AbstractName Source # 
Instance details

EmbPrj BindingSource Source # 
Instance details

EmbPrj DataOrRecordModule Source # 
Instance details

EmbPrj KindOfName Source # 
Instance details

EmbPrj LocalVar Source # 
Instance details

EmbPrj NameMetadata Source # 
Instance details

EmbPrj NameOrModule Source # 
Instance details

EmbPrj NameSpace Source # 
Instance details

EmbPrj NameSpaceId Source # 
Instance details

EmbPrj Scope Source # 
Instance details

EmbPrj ScopeInfo Source # 
Instance details

EmbPrj WhyInScope Source # 
Instance details

EmbPrj a => EmbPrj (Pattern' a) Source # 
Instance details