module Mezzo.Compose.Types
(
Whole
, Half
, Quarter
, Eighth
, Sixteenth
, ThirtySecond
, Melody (..)
)
where
import Mezzo.Model
import Mezzo.Model.Prim
import Mezzo.Compose.Builder
import Data.Kind
import GHC.TypeLits
infixl 5 :|
infixl 5 :<<<
infixl 5 :<<
infixl 5 :<
infixl 5 :^
infixl 5 :>
infixl 5 :>>
infixl 5 :<<.
infixl 5 :<.
infixl 5 :^.
infixl 5 :>.
infixl 5 :>>.
infixl 5 :~|
infixl 5 :~<<<
infixl 5 :~<<
infixl 5 :~<
infixl 5 :~^
infixl 5 :~>
infixl 5 :~>>
infixl 5 :~<<.
infixl 5 :~<.
infixl 5 :~^.
infixl 5 :~>.
infixl 5 :~>>.
type Whole = 32
type Half = 16
type Quarter = 8
type Eighth = 4
type Sixteenth = 2
type ThirtySecond = 1
data Melody :: forall l. Partiture 1 l -> Nat -> Type where
Melody :: Melody (End :-- None) Quarter
(:|) :: (MelConstraints ms (FromRoot r d), IntRep r, Primitive d)
=> Melody ms d -> RootS r -> Melody (ms +|+ FromRoot r d) d
(:<<<) :: (MelConstraints ms (FromRoot r ThirtySecond), IntRep r, Primitive d)
=> Melody ms d -> RootS r -> Melody (ms +|+ FromRoot r ThirtySecond) ThirtySecond
(:<<) :: (MelConstraints ms (FromRoot r Sixteenth), IntRep r, Primitive d)
=> Melody ms d -> RootS r -> Melody (ms +|+ FromRoot r Sixteenth) Sixteenth
(:<) :: (MelConstraints ms (FromRoot r Eighth), IntRep r, Primitive d)
=> Melody ms d -> RootS r -> Melody (ms +|+ FromRoot r Eighth) Eighth
(:^) :: (MelConstraints ms (FromRoot r Quarter), IntRep r, Primitive d)
=> Melody ms d -> RootS r -> Melody (ms +|+ FromRoot r Quarter) Quarter
(:>) :: (MelConstraints ms (FromRoot r Half), IntRep r, Primitive d)
=> Melody ms d -> RootS r -> Melody (ms +|+ FromRoot r Half) Half
(:>>) :: (MelConstraints ms (FromRoot r Whole), IntRep r, Primitive d)
=> Melody ms d -> RootS r -> Melody (ms +|+ FromRoot r Whole) Whole
(:<<.) :: (MelConstraints ms (FromRoot r (Dot Sixteenth)), IntRep r, Primitive d)
=> Melody ms d -> RootS r -> Melody (ms +|+ FromRoot r (Dot Sixteenth)) (Dot Sixteenth)
(:<.) :: (MelConstraints ms (FromRoot r (Dot Eighth)), IntRep r, Primitive d)
=> Melody ms d -> RootS r -> Melody (ms +|+ FromRoot r (Dot Eighth)) (Dot Eighth)
(:^.) :: (MelConstraints ms (FromRoot r (Dot Quarter)), IntRep r, Primitive d)
=> Melody ms d -> RootS r -> Melody (ms +|+ FromRoot r (Dot Quarter)) (Dot Quarter)
(:>.) :: (MelConstraints ms (FromRoot r (Dot Half)), IntRep r, Primitive d)
=> Melody ms d -> RootS r -> Melody (ms +|+ FromRoot r (Dot Half)) (Dot Half)
(:>>.) :: (MelConstraints ms (FromRoot r (Dot Whole)), IntRep r, Primitive d)
=> Melody ms d -> RootS r -> Melody (ms +|+ FromRoot r (Dot Whole)) (Dot Whole)
(:~|) :: (MelConstraints ms (FromSilence d), Primitive d)
=> Melody ms d -> RestS -> Melody (ms +|+ FromSilence d) d
(:~<<<) :: (MelConstraints ms (FromSilence ThirtySecond), Primitive d)
=> Melody ms d -> RestS -> Melody (ms +|+ FromSilence ThirtySecond) ThirtySecond
(:~<<) :: (MelConstraints ms (FromSilence Sixteenth), Primitive d)
=> Melody ms d -> RestS -> Melody (ms +|+ FromSilence Sixteenth) Sixteenth
(:~<) :: (MelConstraints ms (FromSilence Eighth), Primitive d)
=> Melody ms d -> RestS -> Melody (ms +|+ FromSilence Eighth) Eighth
(:~^) :: (MelConstraints ms (FromSilence Quarter), Primitive d)
=> Melody ms d -> RestS -> Melody (ms +|+ FromSilence Quarter) Quarter
(:~>) :: (MelConstraints ms (FromSilence Half), Primitive d)
=> Melody ms d -> RestS -> Melody (ms +|+ FromSilence Half) Half
(:~>>) :: (MelConstraints ms (FromSilence Whole), Primitive d)
=> Melody ms d -> RestS -> Melody (ms +|+ FromSilence Whole) Whole
(:~<<.) :: (MelConstraints ms (FromSilence (Dot Sixteenth)), Primitive d)
=> Melody ms d -> RestS -> Melody (ms +|+ FromSilence (Dot Sixteenth)) (Dot Sixteenth)
(:~<.) :: (MelConstraints ms (FromSilence (Dot Eighth)), Primitive d)
=> Melody ms d -> RestS -> Melody (ms +|+ FromSilence (Dot Eighth)) (Dot Eighth)
(:~^.) :: (MelConstraints ms (FromSilence (Dot Quarter)), Primitive d)
=> Melody ms d -> RestS -> Melody (ms +|+ FromSilence (Dot Quarter)) (Dot Quarter)
(:~>.) :: (MelConstraints ms (FromSilence (Dot Half)), Primitive d)
=> Melody ms d -> RestS -> Melody (ms +|+ FromSilence (Dot Half)) (Dot Half)
(:~>>.) :: (MelConstraints ms (FromSilence (Dot Whole)), Primitive d)
=> Melody ms d -> RestS -> Melody (ms +|+ FromSilence (Dot Whole)) (Dot Whole)