Vago2017: word forms

Auto-generated from Linglib/Data/Forms/Vago2017.json by scripts/gen_forms.py. Do not edit by hand; edit the JSON and re-run the generator. Declarations live in namespace Vago2017.Forms.

inductive Vago2017.Forms.Kind : Type

The values of Kind the source distinguishes.

• root : Kind

  A root, root in the source.

• suffix : Kind

  A suffix, suffix in the source.

@[instance_reducible]

instance Vago2017.Forms.instDecidableEqKind : DecidableEq Kind

Equations

• Vago2017.Forms.instDecidableEqKind x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Vago2017.Forms.instReprKind.repr : Kind → ℕ → Std.Format

Equations

• Vago2017.Forms.instReprKind.repr Vago2017.Forms.Kind.root prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Vago2017.Forms.Kind.root")).group prec✝
• Vago2017.Forms.instReprKind.repr Vago2017.Forms.Kind.suffix prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Vago2017.Forms.Kind.suffix")).group prec✝

@[instance_reducible]

instance Vago2017.Forms.instReprKind : Repr Kind

Equations

• Vago2017.Forms.instReprKind = { reprPrec := Vago2017.Forms.instReprKind.repr }

inductive Vago2017.Forms.Deleted : Type

The values of Deleted the source distinguishes.

• neither : Deleted

  Neither vowel, none in the source.

• first : Deleted

  The first vowel, first in the source.

• second : Deleted

  The second vowel, second in the source.

@[instance_reducible]

instance Vago2017.Forms.instDecidableEqDeleted : DecidableEq Deleted

Equations

• Vago2017.Forms.instDecidableEqDeleted x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Vago2017.Forms.instReprDeleted.repr : Deleted → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance Vago2017.Forms.instReprDeleted : Repr Deleted

Equations

• Vago2017.Forms.instReprDeleted = { reprPrec := Vago2017.Forms.instReprDeleted.repr }

inductive Vago2017.Forms.Hierarchy : Type

The values of Hierarchy the source distinguishes.

• regular : Hierarchy

  The regular hierarchy, regular in the source.

• v1Deletion : Hierarchy

  The hierarchy deleting the first vowel, v1Deletion in the source.

• noDeletion : Hierarchy

  The hierarchy deleting neither vowel, noDeletion in the source.

@[instance_reducible]

instance Vago2017.Forms.instDecidableEqHierarchy : DecidableEq Hierarchy

Equations

• Vago2017.Forms.instDecidableEqHierarchy x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Vago2017.Forms.instReprHierarchy : Repr Hierarchy

Equations

• Vago2017.Forms.instReprHierarchy = { reprPrec := Vago2017.Forms.instReprHierarchy.repr }

def Vago2017.Forms.instReprHierarchy.repr : Hierarchy → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev Vago2017.Forms.Cell : Type

A cell of the source's tables, by its Universal Dependencies features.

Equations

• Vago2017.Forms.Cell = UD.MorphFeatures

def Vago2017.Forms.Lexemes.our_barrel : Data.Forms.Lexeme

Equations

• Vago2017.Forms.Lexemes.our_barrel = { id := "our_barrel", languageId := "hung1274", parameterId := "our_barrel" }

def Vago2017.Forms.Lexemes.forester : Data.Forms.Lexeme

Equations

• Vago2017.Forms.Lexemes.forester = { id := "forester", languageId := "hung1274", parameterId := "forester" }

def Vago2017.Forms.Lexemes.in_esperanto : Data.Forms.Lexeme

Equations

• Vago2017.Forms.Lexemes.in_esperanto = { id := "in_esperanto", languageId := "hung1274", parameterId := "in_esperanto" }

def Vago2017.Forms.Lexemes.we_have_to_study : Data.Forms.Lexeme

Equations

• Vago2017.Forms.Lexemes.we_have_to_study = { id := "we_have_to_study", languageId := "hung1274", parameterId := "we_have_to_study" }

def Vago2017.Forms.Lexemes.we_would_bring : Data.Forms.Lexeme

Equations

• Vago2017.Forms.Lexemes.we_would_bring = { id := "we_would_bring", languageId := "hung1274", parameterId := "we_would_bring" }

def Vago2017.Forms.Lexemes.on_his_gate : Data.Forms.Lexeme

Equations

• Vago2017.Forms.Lexemes.on_his_gate = { id := "on_his_gate", languageId := "hung1274", parameterId := "on_his_gate" }

def Vago2017.Forms.Lexemes.our_gates : Data.Forms.Lexeme

Equations

• Vago2017.Forms.Lexemes.our_gates = { id := "our_gates", languageId := "hung1274", parameterId := "our_gates" }

def Vago2017.Forms.Lexemes.our_detective : Data.Forms.Lexeme

Equations

• Vago2017.Forms.Lexemes.our_detective = { id := "our_detective", languageId := "hung1274", parameterId := "our_detective" }

def Vago2017.Forms.hordonk : Data.Forms.Form Cell

Equations

• One or more equations did not get rendered due to their size.

def Vago2017.Forms.erdesz : Data.Forms.Form Cell

Equations

• One or more equations did not get rendered due to their size.

def Vago2017.Forms.eszperantoul : Data.Forms.Form Cell

Equations

• One or more equations did not get rendered due to their size.

def Vago2017.Forms.tanulnunk : Data.Forms.Form Cell

Equations

• One or more equations did not get rendered due to their size.

def Vago2017.Forms.hoznank : Data.Forms.Form Cell

Equations

• One or more equations did not get rendered due to their size.

def Vago2017.Forms.kapujan : Data.Forms.Form Cell

Equations

• One or more equations did not get rendered due to their size.

def Vago2017.Forms.kapuink : Data.Forms.Form Cell

Equations

• One or more equations did not get rendered due to their size.

def Vago2017.Forms.nyomozonk : Data.Forms.Form Cell

Equations

• One or more equations did not get rendered due to their size.

structure Vago2017.Forms.Analysis : Type

The source's analysis of a form, its parse rather than data.

• form : Data.Forms.Form Cell

  The form analysed.

• left : String

  The Left column.

• leftKind : Kind

  The LeftKind column.

• right : String

  The Right column.

• rightKind : Kind

  The RightKind column.

• before : Option String

  The Before column.

• beforeKind : Option Kind

  The BeforeKind column.

• deleted : Deleted

  The Deleted column.

• hierarchy : Hierarchy

  The Hierarchy column.

def Vago2017.Forms.instDecidableEqAnalysis.decEq (x✝ x✝¹ : Analysis) : Decidable (x✝ = x✝¹)

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance Vago2017.Forms.instDecidableEqAnalysis : DecidableEq Analysis

Equations

• Vago2017.Forms.instDecidableEqAnalysis = Vago2017.Forms.instDecidableEqAnalysis.decEq

def Vago2017.Forms.instReprAnalysis.repr : Analysis → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance Vago2017.Forms.instReprAnalysis : Repr Analysis

Equations

• Vago2017.Forms.instReprAnalysis = { reprPrec := Vago2017.Forms.instReprAnalysis.repr }

def Vago2017.Forms.hordonk.analysis : Analysis

Equations

• One or more equations did not get rendered due to their size.

def Vago2017.Forms.erdesz.analysis : Analysis

Equations

• One or more equations did not get rendered due to their size.

def Vago2017.Forms.eszperantoul.analysis : Analysis

Equations

• One or more equations did not get rendered due to their size.

def Vago2017.Forms.tanulnunk.analysis : Analysis

Equations

• One or more equations did not get rendered due to their size.

def Vago2017.Forms.hoznank.analysis : Analysis

Equations

• One or more equations did not get rendered due to their size.

def Vago2017.Forms.kapujan.analysis : Analysis

Equations

• One or more equations did not get rendered due to their size.

def Vago2017.Forms.kapuink.analysis : Analysis

Equations

• One or more equations did not get rendered due to their size.

def Vago2017.Forms.nyomozonk.analysis : Analysis

Equations

• One or more equations did not get rendered due to their size.

def Vago2017.Forms.lexemes : List Data.Forms.Lexeme

Every lexeme of the data.

Equations

• One or more equations did not get rendered due to their size.

def Vago2017.Forms.all : List (Data.Forms.Form Cell)

Every form the sources accept.

Equations

• One or more equations did not get rendered due to their size.

def Vago2017.Forms.marked : List (Data.Forms.Form Cell)

Every form a source marks, as marginal, questionable, unacceptable or ungrammatical.

Equations

• Vago2017.Forms.marked = []

def Vago2017.Forms.relations : List (Data.Forms.FormRelation (Data.Forms.Form Cell))

Every relation the sources assert between forms.

Equations

• Vago2017.Forms.relations = []

def Vago2017.Forms.analyses : List Analysis

Every analysis of the data.

Equations

• One or more equations did not get rendered due to their size.