Mezzo.Model.Reify

Class of types which can be reified at the term level.

Documentation

class Primitive a where

Class of types which can have a primitive representation at runtime.

Minimal complete definition

prim, pretty

Associated Types

type Rep a

The type of the primitive representation.

Methods

prim :: sing a -> Rep a

Convert a singleton of the type into its primitive representation.

pretty :: sing a -> String

Pretty print a singleton of the type.

Instances

Primitive ScaleDegree I

Associated Types

type Rep I (a :: I) :: *

Methods

prim :: sing a -> Rep I a

pretty :: sing a -> String

Primitive ScaleDegree II

Associated Types

type Rep II (a :: II) :: *

Methods

prim :: sing a -> Rep II a

pretty :: sing a -> String

Primitive ScaleDegree III

Associated Types

type Rep III (a :: III) :: *

Methods

prim :: sing a -> Rep III a

pretty :: sing a -> String

Primitive ScaleDegree IV

Associated Types

type Rep IV (a :: IV) :: *

Methods

prim :: sing a -> Rep IV a

pretty :: sing a -> String

Primitive ScaleDegree V

Associated Types

type Rep V (a :: V) :: *

Methods

prim :: sing a -> Rep V a

pretty :: sing a -> String

Primitive ScaleDegree VI

Associated Types

type Rep VI (a :: VI) :: *

Methods

prim :: sing a -> Rep VI a

pretty :: sing a -> String

Primitive ScaleDegree VII

Associated Types

type Rep VII (a :: VII) :: *

Methods

prim :: sing a -> Rep VII a

pretty :: sing a -> String

Primitive Mode MajorMode

Associated Types

type Rep MajorMode (a :: MajorMode) :: *

Methods

prim :: sing a -> Rep MajorMode a

pretty :: sing a -> String

Primitive Mode MinorMode

Associated Types

type Rep MinorMode (a :: MinorMode) :: *

Methods

prim :: sing a -> Rep MinorMode a

pretty :: sing a -> String

Primitive PitchType Silence

Associated Types

type Rep Silence (a :: Silence) :: *

Methods

prim :: sing a -> Rep Silence a

pretty :: sing a -> String

Primitive OctaveNum Oct_1

Associated Types

type Rep Oct_1 (a :: Oct_1) :: *

Methods

prim :: sing a -> Rep Oct_1 a

pretty :: sing a -> String

Primitive OctaveNum Oct0

Associated Types

type Rep Oct0 (a :: Oct0) :: *

Methods

prim :: sing a -> Rep Oct0 a

pretty :: sing a -> String

Primitive OctaveNum Oct1

Associated Types

type Rep Oct1 (a :: Oct1) :: *

Methods

prim :: sing a -> Rep Oct1 a

pretty :: sing a -> String

Primitive OctaveNum Oct2

Associated Types

type Rep Oct2 (a :: Oct2) :: *

Methods

prim :: sing a -> Rep Oct2 a

pretty :: sing a -> String

Primitive OctaveNum Oct3

Associated Types

type Rep Oct3 (a :: Oct3) :: *

Methods

prim :: sing a -> Rep Oct3 a

pretty :: sing a -> String

Primitive OctaveNum Oct4

Associated Types

type Rep Oct4 (a :: Oct4) :: *

Methods

prim :: sing a -> Rep Oct4 a

pretty :: sing a -> String

Primitive OctaveNum Oct5

Associated Types

type Rep Oct5 (a :: Oct5) :: *

Methods

prim :: sing a -> Rep Oct5 a

pretty :: sing a -> String

Primitive OctaveNum Oct6

Associated Types

type Rep Oct6 (a :: Oct6) :: *

Methods

prim :: sing a -> Rep Oct6 a

pretty :: sing a -> String

Primitive OctaveNum Oct7

Associated Types

type Rep Oct7 (a :: Oct7) :: *

Methods

prim :: sing a -> Rep Oct7 a

pretty :: sing a -> String

Primitive OctaveNum Oct8

Associated Types

type Rep Oct8 (a :: Oct8) :: *

Methods

prim :: sing a -> Rep Oct8 a

pretty :: sing a -> String

Primitive Accidental Natural

Associated Types

type Rep Natural (a :: Natural) :: *

Methods

prim :: sing a -> Rep Natural a

pretty :: sing a -> String

Primitive Accidental Flat

Associated Types

type Rep Flat (a :: Flat) :: *

Methods

prim :: sing a -> Rep Flat a

pretty :: sing a -> String

Primitive Accidental Sharp

Associated Types

type Rep Sharp (a :: Sharp) :: *

Methods

prim :: sing a -> Rep Sharp a

pretty :: sing a -> String

Primitive PitchClass C

Associated Types

type Rep C (a :: C) :: *

Methods

prim :: sing a -> Rep C a

pretty :: sing a -> String

Primitive PitchClass D

Associated Types

type Rep D (a :: D) :: *

Methods

prim :: sing a -> Rep D a

pretty :: sing a -> String

Primitive PitchClass E

Associated Types

type Rep E (a :: E) :: *

Methods

prim :: sing a -> Rep E a

pretty :: sing a -> String

Primitive PitchClass F

Associated Types

type Rep F (a :: F) :: *

Methods

prim :: sing a -> Rep F a

pretty :: sing a -> String

Primitive PitchClass G

Associated Types

type Rep G (a :: G) :: *

Methods

prim :: sing a -> Rep G a

pretty :: sing a -> String

Primitive PitchClass A

Associated Types

type Rep A (a :: A) :: *

Methods

prim :: sing a -> Rep A a

pretty :: sing a -> String

Primitive PitchClass B

Associated Types

type Rep B (a :: B) :: *

Methods

prim :: sing a -> Rep B a

pretty :: sing a -> String

Primitive Inversion Inv0

Associated Types

type Rep Inv0 (a :: Inv0) :: *

Methods

prim :: sing a -> Rep Inv0 a

pretty :: sing a -> String

Primitive Inversion Inv1

Associated Types

type Rep Inv1 (a :: Inv1) :: *

Methods

prim :: sing a -> Rep Inv1 a

pretty :: sing a -> String

Primitive Inversion Inv2

Associated Types

type Rep Inv2 (a :: Inv2) :: *

Methods

prim :: sing a -> Rep Inv2 a

pretty :: sing a -> String

Primitive Inversion Inv3

Associated Types

type Rep Inv3 (a :: Inv3) :: *

Methods

prim :: sing a -> Rep Inv3 a

pretty :: sing a -> String

Primitive SeventhType MajSeventh

Associated Types

type Rep MajSeventh (a :: MajSeventh) :: *

Methods

prim :: sing a -> Rep MajSeventh a

pretty :: sing a -> String

Primitive SeventhType MajMinSeventh

Associated Types

type Rep MajMinSeventh (a :: MajMinSeventh) :: *

Methods

prim :: sing a -> Rep MajMinSeventh a

pretty :: sing a -> String

Primitive SeventhType MinSeventh

Associated Types

type Rep MinSeventh (a :: MinSeventh) :: *

Methods

prim :: sing a -> Rep MinSeventh a

pretty :: sing a -> String

Primitive SeventhType HalfDimSeventh

Associated Types

type Rep HalfDimSeventh (a :: HalfDimSeventh) :: *

Methods

prim :: sing a -> Rep HalfDimSeventh a

pretty :: sing a -> String

Primitive SeventhType DimSeventh

Associated Types

type Rep DimSeventh (a :: DimSeventh) :: *

Methods

prim :: sing a -> Rep DimSeventh a

pretty :: sing a -> String

Primitive TriadType MajTriad

Associated Types

type Rep MajTriad (a :: MajTriad) :: *

Methods

prim :: sing a -> Rep MajTriad a

pretty :: sing a -> String

Primitive TriadType MinTriad

Associated Types

type Rep MinTriad (a :: MinTriad) :: *

Methods

prim :: sing a -> Rep MinTriad a

pretty :: sing a -> String

Primitive TriadType AugTriad

Associated Types

type Rep AugTriad (a :: AugTriad) :: *

Methods

prim :: sing a -> Rep AugTriad a

pretty :: sing a -> String

Primitive TriadType DimTriad

Associated Types

type Rep DimTriad (a :: DimTriad) :: *

Methods

prim :: sing a -> Rep DimTriad a

pretty :: sing a -> String

IntRep PitchType p => Primitive RootType (PitchRoot p)

Associated Types

type Rep (PitchRoot p) (a :: PitchRoot p) :: *

Methods

prim :: sing a -> Rep (PitchRoot p) a

pretty :: sing a -> String

FunRep TriadType Int [Int] c => Primitive SeventhType (Doubled c)

Associated Types

type Rep (Doubled c) (a :: Doubled c) :: *

Methods

prim :: sing a -> Rep (Doubled c) a

pretty :: sing a -> String

(IntRep PitchClass pc, IntRep Accidental acc, IntRep Mode mo) => Primitive KeyType (Key pc acc mo)

Associated Types

type Rep (Key pc acc mo) (a :: Key pc acc mo) :: *

Methods

prim :: sing a -> Rep (Key pc acc mo) a

pretty :: sing a -> String

(IntRep PitchClass pc, IntRep Accidental acc, IntRep OctaveNum oct) => Primitive PitchType (Pitch pc acc oct)

Associated Types

type Rep (Pitch pc acc oct) (a :: Pitch pc acc oct) :: *

Methods

prim :: sing a -> Rep (Pitch pc acc oct) a

pretty :: sing a -> String

IntRep PitchType p => Primitive * (Root (PitchRoot p))

Associated Types

type Rep (Root (PitchRoot p)) (a :: Root (PitchRoot p)) :: *

Methods

prim :: sing a -> Rep (Root (PitchRoot p)) a

pretty :: sing a -> String

(IntRep PitchType p, (~) PitchType (RootToPitch (DegreeRoot k sd)) p, Primitive ScaleDegree sd) => Primitive * (Root (DegreeRoot k sd))

Associated Types

type Rep (Root (DegreeRoot k sd)) (a :: Root (DegreeRoot k sd)) :: *

Methods

prim :: sing a -> Rep (Root (DegreeRoot k sd)) a

pretty :: sing a -> String

(IntRep RootType r, FunRep TriadType Int [Int] t, FunRep Inversion [Int] [Int] i) => Primitive (ChordType 3) (Triad r t i)

Associated Types

type Rep (Triad r t i) (a :: Triad r t i) :: *

Methods

prim :: sing a -> Rep (Triad r t i) a

pretty :: sing a -> String

(IntRep RootType r, FunRep SeventhType Int [Int] t, FunRep Inversion [Int] [Int] i) => Primitive (ChordType 4) (SeventhChord r t i)

Associated Types

type Rep (SeventhChord r t i) (a :: SeventhChord r t i) :: *

Methods

prim :: sing a -> Rep (SeventhChord r t i) a

pretty :: sing a -> String

(IntRep RootType r, FunRep TriadType Int [Int] tt, FunRep Inversion [Int] [Int] i) => Primitive (ChordType 4) (SeventhChord r (Doubled tt) i)

Associated Types

type Rep (SeventhChord r (Doubled tt) i) (a :: SeventhChord r (Doubled tt) i) :: *

Methods

prim :: sing a -> Rep (SeventhChord r (Doubled tt) i) a

pretty :: sing a -> String

type IntRep t = (Primitive t, Rep t ~ Int)

Primitive types with integer representations.

type IntListRep t = (Primitive t, Rep t ~ [Int])

Primitive types with integer list representations.

type FunRep a b t = (Primitive t, Rep t ~ (a -> b))

Primitive types with function representations from type a to type b.

Orphan instances

Primitive k t => Show (sing t)

Methods

showsPrec :: Int -> sing t -> ShowS

show :: sing t -> String

showList :: [sing t] -> ShowS