HarmTrace.Models.TypeLevel

Documentation

data Su

Instances

Typeable1 Su

ToNat n => ToNat (Su n)

(GetDegree (Surface_Chord (MinThird deg) DimClass n), GTree (Surface_Chord (MinThird deg) DimClass n)) => GTree (Surface_Chord deg clss (Su n))

(GetDegree (Base_Final (Tritone deg) DomClass n), GetDegree (Base_Final (IIbDim deg) DimClass n), GTree (FinalDimTrans deg clss), GTree (Base_Final (Tritone deg) DomClass n), GTree (Base_Final (IIbDim deg) DimClass n)) => GTree (Base_Final deg clss (Su n))

(GTree (Base_SD (VDom deg) DomClass n), GTree (Base_SD (DiatV deg) MinClass n), GTree (Base_SD (DiatVM deg) MajClass n), GTree (Base_SD (VMin deg) MinClass n), GTree (Base_SD deg clss n), GTree (Base_Final deg clss n)) => GTree (Base_SD deg clss (Su n))

(GetDegree (Surface_Chord (MinThird deg) DimClass n), GTree (Surface_Chord (MinThird deg) DimClass n)) => GTree (Surface_Chord deg clss (Su n))

(GetDegree (Base_Final (Tritone deg) DomClass n), GetDegree (Base_Final (IIbDim deg) DimClass n), GTree (FinalDimTrans deg clss), GTree (Base_Final (Tritone deg) DomClass n), GTree (Base_Final (IIbDim deg) DimClass n)) => GTree (Base_Final deg clss (Su n))

(GTree (Base_SD (VDom deg) DomClass n), GTree (Base_SD (DiatV deg) MinClass n), GTree (Base_SD (DiatVM deg) MajClass n), GTree (Base_SD (VMin deg) MinClass n), GTree (Base_SD deg clss n), GTree (Base_Final deg clss n)) => GTree (Base_SD deg clss (Su n))

(ToDegree deg, ToClass clss) => ParseG (Surface_Chord deg clss (Su n))

(ToDegree deg, ParseG (Surface_Chord (MinThird deg) DimClass n)) => ParseG (Surface_Chord deg DimClass (Su n))

(ParseG (FinalDimTrans deg DomClass), ParseG (FinalDimTrans deg MinClass), ParseG (Base_Final (Tritone deg) DomClass n), ParseG (Base_Final (IIbDim deg) DimClass n)) => ParseG (Base_Final deg DomClass (Su n))

ParseG (FinalDimTrans deg clss) => ParseG (Base_Final deg clss (Su n))

(ToDegree (VDom deg), ParseG (Base_SD (VDom deg) DomClass n), ParseG (Base_SD deg DimClass n), ParseG (TritMinVSub deg DimClass)) => ParseG (Base_SD deg DimClass (Su n))

(ToDegree (VMin deg), ToDegree (VDom deg), ParseG (Base_SD (VDom deg) DomClass n), ParseG (Base_SD (VMin deg) MinClass n), ParseG (Base_SD deg DomClass n), ParseG (TritMinVSub deg DomClass)) => ParseG (Base_SD deg DomClass (Su n))

(ToDegree (DiatVM deg), ToDegree (VDom deg), ParseG (Base_SD (VDom deg) DomClass n), ParseG (Base_SD (DiatVM deg) MajClass n), ParseG (Base_SD deg MajClass n), ParseG (TritMinVSub deg MajClass)) => ParseG (Base_SD deg MajClass (Su n))

(ToDegree (DiatV deg), ToDegree (VDom deg), ParseG (Base_SD (VDom deg) DomClass n), ParseG (Base_SD (DiatV deg) MinClass n), ParseG (Base_SD (DiatVM deg) MajClass n), ParseG (Base_SD deg MinClass n), ParseG (TritMinVSub deg MinClass)) => ParseG (Base_SD deg MinClass (Su n))

(ToDegree deg, ToClass clss) => ParseG (Surface_Chord deg clss (Su n))

(ParseG (FinalDimTrans deg DomClass), ParseG (FinalDimTrans deg MinClass), ParseG (Base_Final (Tritone deg) DomClass n), ParseG (Base_Final (IIbDim deg) DimClass n)) => ParseG (Base_Final deg DomClass (Su n))

ParseG (FinalDimTrans deg clss) => ParseG (Base_Final deg clss (Su n))

(ToDegree (VDom deg), ParseG (Base_SD (VDom deg) DomClass n), ParseG (Base_SD deg DimClass n), ParseG (TritMinVSub deg DimClass)) => ParseG (Base_SD deg DimClass (Su n))

(ToDegree (VMin deg), ToDegree (VDom deg), ParseG (Base_SD (VDom deg) DomClass n), ParseG (Base_SD (VMin deg) MinClass n), ParseG (Base_SD deg DomClass n), ParseG (TritMinVSub deg DomClass)) => ParseG (Base_SD deg DomClass (Su n))

(ToDegree (DiatVM deg), ToDegree (VDom deg), ParseG (Base_SD (VDom deg) DomClass n), ParseG (Base_SD (DiatVM deg) MajClass n), ParseG (Base_SD deg MajClass n), ParseG (TritMinVSub deg MajClass)) => ParseG (Base_SD deg MajClass (Su n))

(ToDegree (DiatV deg), ToDegree (VDom deg), ParseG (Base_SD (VDom deg) DomClass n), ParseG (Base_SD (DiatV deg) MinClass n), ParseG (Base_SD (DiatVM deg) MajClass n), ParseG (Base_SD deg MinClass n), ParseG (TritMinVSub deg MinClass)) => ParseG (Base_SD deg MinClass (Su n))

GetDegree (Surface_Chord (MinThird deg) DimClass n) => GetDegree (Surface_Chord deg clss (Su n))

GetDegree (Surface_Chord (MinThird deg) DimClass n) => GetDegree (Surface_Chord deg clss (Su n))

data Ze

Instances

Typeable Ze

ToNat Ze

GTree (Surface_Chord deg clss Ze)

GTree (Base_Final deg clss Ze)

GTree (Base_SD deg clss Ze)

GTree (Surface_Chord deg clss Ze)

GTree (Base_Final deg clss Ze)

GTree (Base_SD deg clss Ze)

ParseG (Surface_Chord deg clss Ze)

ParseG (Base_Final deg clss Ze)

ParseG (Base_SD deg clss Ze)

ParseG (Surface_Chord deg clss Ze)

ParseG (Base_Final deg clss Ze)

ParseG (Base_SD deg clss Ze)

GetDegree (Surface_Chord deg clss Ze)

GetDegree (Base_Final deg clss Ze)

GetDegree (Surface_Chord deg clss Ze)

GetDegree (Base_Final deg clss Ze)

type T0 = Ze

type T1 = Su T0

type T2 = Su T1

type T3 = Su T2

type T4 = Su T3

type T5 = Su T4

type T6 = Su T5

type T7 = Su T6

type T8 = Su T7

type T9 = Su T8

type T10 = Su T9

type T11 = Su T10

type T12 = Su T11

type T13 = Su T12

type T14 = Su T13

type T15 = Su T14

type T16 = Su T15

type T17 = Su T16

type T18 = Su T17

type T19 = Su T18

type T20 = Su T19

class ToNat n where

Methods

toNat :: n -> Int

Instances

ToNat Ze

ToNat n => ToNat (Su n)