Copyright	(c) Hans Hoglund 2012-2014
License	BSD-style
Maintainer	hans@hanshoglund.se
Stability	experimental
Portability	non-portable (TF,GNTD)
Safe Haskell	None
Language	Haskell2010

Music.Score.Part

Contents

Articulation type functions
Accessing parts
Listing parts
Extracting parts
Manipulating parts
Part representation

Description

Provides functions for manipulating parts.

Synopsis

Articulation type functions

type family Part s :: * Source

Parts type.

Instances

type Part Bool = Bool
type Part Float = Float
type Part Int = Int
type Part Integer = Integer
type Part Ordering = Ordering
type Part () = ()
type Part [a] = Part a
type Part (Maybe a) = Part a
type Part (Note a) = Part a
type Part (Voice a) = Part a
type Part (Event a) = Part a
type Part (Score a) = Part a
type Part (Aligned a) = Part a
type Part (Behavior a) = Behavior (Part a)
type Part (Either c a) = Part a
type Part (c, a) = Part a
type Part (PartT p a) = p

type family SetPart b s :: * Source

Part type.

Instances

type SetPart a Float = a
type SetPart a Integer = a
type SetPart a Int = a
type SetPart a () = a
type SetPart a Ordering = a
type SetPart a Bool = a
type SetPart g (Voice a) = Voice (SetPart g a)
type SetPart g (Score a) = Score (SetPart g a)
type SetPart g (Note a) = Note (SetPart g a)
type SetPart g (Event a) = Event (SetPart g a)
type SetPart b (Aligned a) = Aligned (SetPart b a)
type SetPart b (Maybe a) = Maybe (SetPart b a)
type SetPart b [a] = [SetPart b a]
type SetPart p' (PartT p a) = PartT p' a
type SetPart b (Either c a) = Either c (SetPart b a)
type SetPart b (c, a) = (c, SetPart b a)
type SetPart (Behavior g) (Behavior a) = Behavior (SetPart g a)

Accessing parts

class (Transformable (Part s), Transformable (Part t)) => HasParts s t where Source

Class of types that provide a part traversal.

Methods

parts :: Traversal s t (Part s) (Part t) Source

Part type.

Instances

((~) * b (Part b), Transformable b) => HasParts Bool b
HasParts Float Float
HasParts Int Int
HasParts Integer Integer
((~) * b (Part b), Transformable b) => HasParts Ordering b
((~) * b (Part b), Transformable b) => HasParts () b
HasParts a b => HasParts [a] [b]
HasParts a b => HasParts (Maybe a) (Maybe b)
HasParts a b => HasParts (Note a) (Note b)
HasParts a b => HasParts (Voice a) (Voice b)
HasParts a b => HasParts (Event a) (Event b)
HasParts a b => HasParts (Score a) (Score b)
HasParts a b => HasParts (Aligned a) (Aligned b)
(HasPart a a, HasPart a b) => HasParts (Behavior a) (Behavior b)
HasParts a b => HasParts (Either c a) (Either c b)
HasParts a b => HasParts (c, a) (c, b)
(Transformable p, Transformable p') => HasParts (PartT p a) (PartT p' a)

class HasParts s t => HasPart s t where Source

Class of types that provide a single part.

Methods

part :: Lens s t (Part s) (Part t) Source

Part type.

Instances

((~) * b (Part b), Transformable b) => HasPart Bool b
HasPart Float Float
HasPart Int Int
HasPart Integer Integer
((~) * b (Part b), Transformable b) => HasPart Ordering b
((~) * b (Part b), Transformable b) => HasPart () b
HasPart a b => HasPart (Note a) (Note b)
HasPart a b => HasPart (Event a) (Event b)
(HasPart a a, HasPart a b) => HasPart (Behavior a) (Behavior b)
HasPart a b => HasPart (c, a) (c, b)
(Transformable p, Transformable p') => HasPart (PartT p a) (PartT p' a)

type HasPart' a = HasPart a a Source

type HasParts' a = HasParts a a Source

part' :: (HasPart s t, s ~ t) => Lens' s (Part s) Source

Part type.

parts' :: (HasParts s t, s ~ t) => Traversal' s (Part s) Source

Part type.

Listing parts

allParts :: (Ord (Part a), HasParts' a) => a -> [Part a] Source

List all the parts

Extracting parts

extracted :: (Ord (Part a), HasPart' a) => Iso (Score a) (Score b) [Score a] [Score b] Source

extractedWithInfo :: (Ord (Part a), Ord (Part b), HasPart' a, HasPart' b) => Iso (Score a) (Score b) [(Part a, Score a)] [(Part b, Score b)] Source

extractPart :: (Eq (Part a), HasPart' a) => Part a -> Score a -> Score a Source

List all the parts

extractParts :: (Ord (Part a), HasPart' a) => Score a -> [Score a] Source

List all the parts

extractPartsWithInfo :: (Ord (Part a), HasPart' a) => Score a -> [(Part a, Score a)] Source

Manipulating parts

Part representation

newtype PartT n a Source

Constructors

PartT
Fields getPartT :: (n, a)

Instances

HasBackendNote NoteList a => HasBackendNote NoteList (PartT n a)
HasBackendNote Midi a => HasBackendNote Midi (PartT n a)
HasBackendNote SuperCollider a => HasBackendNote SuperCollider (PartT n a)
HasBackendNote Lilypond a => HasBackendNote Lilypond (PartT n a)
HasBackendNote MusicXml a => HasBackendNote MusicXml (PartT n a)
Monoid n => Monad (PartT n)
Functor (PartT n)
Monoid n => Applicative (PartT n)
Comonad (PartT n)
(Enum v, Bounded a) => Bounded (PartT v a)
(Enum v, Enum a) => Enum (PartT v a)
(Eq n, Eq a) => Eq (PartT n a)
(Enum v, Ord v, Real a, Enum a, Integral a) => Integral (PartT v a)
(Enum v, Eq v, Num a) => Num (PartT v a)
(Ord n, Ord a) => Ord (PartT n a)
(Enum v, Ord v, Num a, Ord a, Real a) => Real (PartT v a)
(Show n, Show a) => Show (PartT n a)
Wrapped (PartT p a)
Semigroup a => Semigroup (PartT n a)
(IsPitch a, Enum n) => IsPitch (PartT n a)
(IsDynamics a, Enum n) => IsDynamics (PartT n a)
Transformable a => Transformable (PartT n a)
Reversible a => Reversible (PartT p a)
Alterable a => Alterable (PartT n a)
Augmentable a => Augmentable (PartT n a)
Tiable a => Tiable (PartT n a)
HasSlide a => HasSlide (PartT n a)
HasText a => HasText (PartT n a)
HasHarmonic a => HasHarmonic (PartT n a)
HasTremolo a => HasTremolo (PartT n a)
HasColor a => HasColor (PartT n a)
Typeable (* -> * -> *) PartT
Rewrapped (PartT p a) (PartT p' b)
(Transformable p, Transformable p') => HasParts (PartT p a) (PartT p' a)
(Transformable p, Transformable p') => HasPart (PartT p a) (PartT p' a)
HasPitches a b => HasPitches (PartT p a) (PartT p b)
HasPitch a b => HasPitch (PartT p a) (PartT p b)
HasDynamics a b => HasDynamics (PartT p a) (PartT p b)
HasDynamic a b => HasDynamic (PartT p a) (PartT p b)
HasArticulations a b => HasArticulations (PartT p a) (PartT p b)
HasArticulation a b => HasArticulation (PartT p a) (PartT p b)
type SetPart p' (PartT p a) = PartT p' a
type SetPitch b (PartT p a) = PartT p (SetPitch b a)
type SetDynamic b (PartT p a) = PartT p (SetDynamic b a)
type SetArticulation b (PartT p a) = PartT p (SetArticulation b a)
type Unwrapped (PartT p a) = (p, a)
type Part (PartT p a) = p
type Pitch (PartT p a) = Pitch a
type Dynamic (PartT p a) = Dynamic a
type Articulation (PartT p a) = Articulation a

(</>) :: (HasParts' a, Enum (Part a)) => Score a -> Score a -> Score a infixr 6 Source

Similar to <>, but increases parts in the second part to prevent collision.

rcat :: (HasParts' a, Enum (Part a)) => [Score a] -> Score a Source

Concatenate parts.