Music.Time.Pos

Documentation

type family Time s :: *

This type function returns the time type for a given type.

It has kind

 (* -> *) -> *

meaning that an instance should be written on the form:

 type instance Time a = b

where a and b are type-level expression of kind * -> * and * respectively.

type Duration a = Diff (Time a)

This type function returns the duration type for a given type.