Case arrays #
This file defines the case array of a verb, the case of its subject and the cases of its objects in their unmarked linear order, over the cases of a language. The array records which cases the arguments bear and nothing of where they come from. Which cases a verb assigns lexically and which fall out of the configuration is what accounts of case disagree about, and each study states its own.
Main definitions #
Verb.CaseArray: the subject's case and the objects' casesVerb.CaseArray.cases: the array as a list
References #
A verb's case array records the case of its subject and the cases of its objects in their
unmarked linear order, the cases being those of the language, C.
- subject : C
The subject bears this case.
- objects : List C
The objects bear these cases, in linear order.
Instances For
def
Verb.instDecidableEqCaseArray.decEq
{C✝ : Type u_1}
[DecidableEq C✝]
(x✝ x✝¹ : CaseArray C✝)
:
Decidable (x✝ = x✝¹)
Equations
- Verb.instDecidableEqCaseArray.decEq { subject := a, objects := a_1 } { subject := b, objects := b_1 } = if h : a = b then h ▸ if h : a_1 = b_1 then h ▸ isTrue ⋯ else isFalse ⋯ else isFalse ⋯
Instances For
@[instance_reducible]
Equations
- One or more equations did not get rendered due to their size.
Instances For
@[instance_reducible]
Equations
- Verb.instReprCaseArray = { reprPrec := Verb.instReprCaseArray.repr }