Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data Quanta
- qToInt :: Quanta -> Int
- qFromInt :: Integral i => i -> Maybe Quanta
- data TimeSignature = TimeSignature {}
- tsUnit :: Lens' TimeSignature Quanta
- tsLength :: Lens' TimeSignature Int
- class HasTimeSignature a where
- (/:) :: Int -> Quanta -> TimeSignature
- data PPQ
- ppqDiv :: Integral a => PPQ -> a
- tsToRatio :: TimeSignature -> Rational
- tsFromRatio :: Rational -> Maybe TimeSignature
- tsFromRatio' :: TimeSignature -> Rational -> Maybe TimeSignature
- ratioPPQ :: Integral a => PPQ -> Iso' a Rational
- adaptHas :: Lens' a (Maybe a)
- adaptHasLens :: Lens' s a -> Lens' s (Maybe a)
- adaptHasNot :: Lens' s (Maybe a)
- data Tie
- class HasTie a where
- data Slur
- class HasSlur a where
- data Articulation
- class HasArticulation a where
- newtype RehearsalMark = RehearsalMark {}
- rehearsalText :: Iso' RehearsalMark String
- class HasRehearsalMark a where
- newtype Direction = Direction {}
- directionText :: Iso' Direction String
- class HasDirection a where
- data Barline
- class HasBarline a where
- data Repeats
- class HasRepeats a where
- data Clef
- class HasClef a where
- newtype Part a = Part {
- _partIdx :: a
- partIdx :: forall a a. Iso (Part a) (Part a) a a
- class HasPart a b | a -> b where
- mshow :: Show a => Getter s (Maybe a) -> String -> s -> String
- mshows :: s -> String -> [s -> String] -> String
- data Note' p d = Note' {}
- nTie :: forall p d. Lens' (Note' p d) (Maybe Tie)
- nSlur :: forall p d. Lens' (Note' p d) (Maybe Slur)
- nNote :: forall p d p d. Lens (Note' p d) (Note' p d) (Note p d) (Note p d)
- nArticulation :: forall p d. Lens' (Note' p d) (Maybe Articulation)
- note' :: Note p d -> Note' p d
- testNote :: Note' [Int] Int
- data Bar n = Bar {}
- bTimeSignature :: forall n. Lens' (Bar n) (Maybe TimeSignature)
- bRepeats :: forall n. Lens' (Bar n) (Maybe Repeats)
- bRehearsalMark :: forall n. Lens' (Bar n) (Maybe RehearsalMark)
- bNotes :: forall n n. Lens (Bar n) (Bar n) (Seq n) (Seq n)
- bDirection :: forall n. Lens' (Bar n) (Maybe Direction)
- bClef :: forall n. Lens' (Bar n) (Maybe Clef)
- bBarline :: forall n. Lens' (Bar n) (Maybe Barline)
- bar :: [n] -> Bar n
- testBar :: Bar (Note [Int] Int)
Documentation
class HasTimeSignature a where Source #
timeSignature :: Lens' a (Maybe TimeSignature) Source #
HasTimeSignature (Bar n) Source # | |
tsToRatio :: TimeSignature -> Rational Source #
tsFromRatio :: Rational -> Maybe TimeSignature Source #
tsFromRatio' :: TimeSignature -> Rational -> Maybe TimeSignature Source #
ratioPPQ :: Integral a => PPQ -> Iso' a Rational Source #
Duration iso, from Integral to Rational, given PPQ
adaptHasLens :: Lens' s a -> Lens' s (Maybe a) Source #
Adapt a non-Maybe lens to the HasXXX "Maybe Lens'"
adaptHasNot :: Lens' s (Maybe a) Source #
Adapt a type that does NOT support the HasXXX feature.
Tied notes.
Slurred notes.
data Articulation Source #
Note articulations.
class HasArticulation a where Source #
articulation :: Lens' a (Maybe Articulation) Source #
newtype RehearsalMark Source #
Bar rehearsal mark.
class HasRehearsalMark a where Source #
rehearsalMark :: Lens' a (Maybe RehearsalMark) Source #
Musical direction.
class HasDirection a where Source #
Barline.
class HasBarline a where Source #
HasBarline Barline Source # | |
HasBarline (Bar n) Source # | |
class HasRepeats a where Source #
HasRepeats Repeats Source # | |
HasRepeats (Bar n) Source # | |
Functor Part Source # | |
Foldable Part Source # | |
Traversable Part Source # | |
Bounded a => Bounded (Part a) Source # | |
Eq a => Eq (Part a) Source # | |
Num a => Num (Part a) Source # | |
Ord a => Ord (Part a) Source # | |
Real a => Real (Part a) Source # | |
Show a => Show (Part a) Source # | |
IsString a => IsString (Part a) Source # | |
Generic (Part a) Source # | |
type Rep (Part a) Source # | |
mshow :: Show a => Getter s (Maybe a) -> String -> s -> String Source #
Lensy show of a Maybe field, given a Getter
and its name.
Note with notations.
nArticulation :: forall p d. Lens' (Note' p d) (Maybe Articulation) Source #
Bar as list of notes, with notations.
Bar | |
|
Functor Bar Source # | |
Foldable Bar Source # | |
Traversable Bar Source # | |
Eq n => Eq (Bar n) Source # | |
Show n => Show (Bar n) Source # | |
Generic (Bar n) Source # | |
Monoid (Bar n) Source # | |
Default (Bar n) Source # | |
HasTimeSignature (Bar n) Source # | |
HasRehearsalMark (Bar n) Source # | |
HasRepeats (Bar n) Source # | |
HasBarline (Bar n) Source # | |
HasDirection (Bar n) Source # | |
HasClef (Bar n) Source # | |
Snoc (Bar n) (Bar n) n n Source # | |
Cons (Bar n) (Bar n) n n Source # | |
type Rep (Bar n) Source # | |
bTimeSignature :: forall n. Lens' (Bar n) (Maybe TimeSignature) Source #
bRehearsalMark :: forall n. Lens' (Bar n) (Maybe RehearsalMark) Source #