Îõ³h)ϱ9      !"#$%&'()*+,-./0123456780.2.0.0 Safe-Inferred# "%')*/01;<=?ÀÁÂÃÄÅÇÌÑ×ÙÚÜãèïm fields-and-cases"Get the type definition of a type.fields-and-casesÌDescribes how to convert a type to a type expression of a specific language.fields-and-cases7A class of types which can be used as type expressions.fields-and-casesLike  but for a list of types.fields-and-casesHaskell type qualified name. fields-and-casesHaskell type positional field.fields-and-casesHaskell type labeled field.fields-and-cases#Haskell type constructor arguments.fields-and-casesHaskell type constructor.fields-and-casesHaskell type definition.fields-and-casesÖData types with a single constructor and labeled fields | are considered record-like.fields-and-cases=Data types with all of their constructors having no arguments     9       !"#$%&'()*+,-./01234567 fields-and-cases-0.2.0.0-inplaceFieldsAndCasesfields-and-cases ToTypeDef toTypeDefTypeExprtypeExpr IsTypeExprtypeRef ToTypeDefs toTypeDefs QualifiedName$sel:moduleName:QualifiedName$sel:typeName:QualifiedName PositionalArg$sel:fieldType:PositionalArgField$sel:fieldName:Field$sel:fieldType:FieldCaseArgsCasePositionalArgs CaseFieldsCase$sel:tagName:Case$sel:caseArgs:CaseTypeDef$sel:qualifiedName:TypeDef$sel:cases:TypeDefmatchRecordLikeDataTypeisEnumWithoutData$fToTypeDefs[]texpr$fIsTypeExprText$fGToTypeRefkM1$fToTypeDefs:texpr$fGToTypeDefkM1[]$fGToTypeDefkM1[]0$fGToTypeDefk:*:fields$fGToTypeDefkM1[]1$fGToTypeDefkM1[]2$fGToTypeDefkM1[]3$fGToTypeDefk:+:[]$fGToTypeDefkM1TypeDef$fToTypeDefTYPEatexpr $fShowTypeDef $fEqTypeDef$fShowQualifiedName$fEqQualifiedName $fShowCase$fEqCase$fShowCaseArgs $fEqCaseArgs$fShowPositionalArg$fEqPositionalArg $fShowField $fEqField