Fadno.Note

Documentation

data Note p d

Note = pitch and duration.

Constructors

Note

Fields

• _pitch :: p
• _dur :: d

Instances

Bifunctor Note

Defined in Fadno.Note

Methods

bimap :: (a -> b) -> (c -> d) -> Note a c -> Note b d

first :: (a -> b) -> Note a c -> Note b c

second :: (b -> c) -> Note a b -> Note a c

(Integral p, Integral d, Traversable t) => MidiNotes (t (Note p d))

Defined in Fadno.Midi

Methods

toMidiNotes :: t (Note p d) -> [([IPitch], IDur)]

(Integral p, Traversable c, Integral d, Traversable t) => MidiNotes (t (Note (c p) d))

Defined in Fadno.Midi

Methods

toMidiNotes :: t (Note (c p) d) -> [([IPitch], IDur)]

(Eq p, Eq d) => Eq (Note p d)

Defined in Fadno.Note

Methods

(==) :: Note p d -> Note p d -> Bool

(/=) :: Note p d -> Note p d -> Bool

(Show p, Show d) => Show (Note p d)

Defined in Fadno.Note

Methods

showsPrec :: Int -> Note p d -> ShowS

show :: Note p d -> String

showList :: [Note p d] -> ShowS

Generic (Note p d)

Defined in Fadno.Note

Associated Types

type Rep (Note p d) :: Type -> Type

Methods

from :: Note p d -> Rep (Note p d) x

to :: Rep (Note p d) x -> Note p d

HasTie (Note p d)

Defined in Fadno.Notation

Methods

tie :: Lens' (Note p d) (Maybe Tie)

HasNote (Note p d) p d

Defined in Fadno.Note

Methods

note :: Lens' (Note p d) (Note p d)

fromNote :: HasNote n p d => n -> Note p d

notePitch :: Lens' (Note p d) p

noteDur :: Lens' (Note p d) d

Field1 (Note a b) (Note a' b) a a'

Defined in Fadno.Note

Methods

_1 :: Lens (Note a b) (Note a' b) a a'

Field2 (Note a b) (Note a b') b b'

Defined in Fadno.Note

Methods

_2 :: Lens (Note a b) (Note a b') b b'

type Rep (Note p d)

Defined in Fadno.Note

type Rep (Note p d) = D1 ('MetaData "Note" "Fadno.Note" "fadno-1.1.8-DUxbMWAKsZi5yBbOuL2jNx" 'False) (C1 ('MetaCons "Note" 'PrefixI 'True) (S1 ('MetaSel ('Just "_pitch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 p) :*: S1 ('MetaSel ('Just "_dur") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 d)))

pitch :: forall p d p. Lens (Note p d) (Note p d) p p

dur :: forall p d d. Lens (Note p d) (Note p d) d d

class HasNote s p d | s -> p d where

Hand-rolled class providing monomorphic lenses.

Minimal complete definition

note, fromNote

Methods

note :: Lens' s (Note p d)

fromNote :: HasNote n p d => n -> s

notePitch :: Lens' s p

noteDur :: Lens' s d

Instances

HasNote (Note p d) p d

Defined in Fadno.Note

Methods

note :: Lens' (Note p d) (Note p d)

fromNote :: HasNote n p d => n -> Note p d

notePitch :: Lens' (Note p d) p

noteDur :: Lens' (Note p d) d

HasNote (Note' p d) p d

Defined in Fadno.Notation

Methods

note :: Lens' (Note' p d) (Note p d)

fromNote :: HasNote n p d => n -> Note' p d

notePitch :: Lens' (Note' p d) p

noteDur :: Lens' (Note' p d) d

toPair :: Iso' (Note p d) (p, d)

(|:) :: p -> d -> Note p d infixl 5

Note smart constructor.

data Mono p

Monophonic pitch functor, i.e. Maybe with a sum monoid.

Constructors

Rest

M

Fields

• _mPitch :: p

Instances

Functor Mono

Defined in Fadno.Note

Methods

fmap :: (a -> b) -> Mono a -> Mono b

(<$) :: a -> Mono b -> Mono a

Eq p => Eq (Mono p)

Defined in Fadno.Note

Methods

(==) :: Mono p -> Mono p -> Bool

(/=) :: Mono p -> Mono p -> Bool

Ord p => Ord (Mono p)

Defined in Fadno.Note

Methods

compare :: Mono p -> Mono p -> Ordering

(<) :: Mono p -> Mono p -> Bool

(<=) :: Mono p -> Mono p -> Bool

(>) :: Mono p -> Mono p -> Bool

(>=) :: Mono p -> Mono p -> Bool

max :: Mono p -> Mono p -> Mono p

min :: Mono p -> Mono p -> Mono p

Show p => Show (Mono p)

Defined in Fadno.Note

Methods

showsPrec :: Int -> Mono p -> ShowS

show :: Mono p -> String

showList :: [Mono p] -> ShowS

Num p => Semigroup (Mono p)

Defined in Fadno.Note

Methods

(<>) :: Mono p -> Mono p -> Mono p

sconcat :: NonEmpty (Mono p) -> Mono p

stimes :: Integral b => b -> Mono p -> Mono p

Num p => Monoid (Mono p)

Defined in Fadno.Note

Methods

mempty :: Mono p

mappend :: Mono p -> Mono p -> Mono p

mconcat :: [Mono p] -> Mono p

maybeMono :: Iso' (Maybe a) (Mono a)

Mono/Maybe isomorphism.

mono :: HasNote n (Mono p) d => p -> d -> n

Mono HasNote

mono' :: p -> d -> Note (Mono p) d

Mono Note.

mPitch :: forall p p. Traversal (Mono p) (Mono p) p p

unMono :: b -> (a -> b) -> Mono a -> b

Mono eliminator

catMonos :: Foldable f => f (Mono a) -> [a]

cf catMaybe. Grab all non-rest values.

_M :: forall p p. Prism (Mono p) (Mono p) p p

rest :: (HasNote n p d, Monoid p) => d -> n

Note from duration, given Monoid pitch. Interoperates with chord and mono. Useful for batch duration conversion.

isRest :: (Monoid p, Eq p, HasNote n p d) => n -> Bool

data Spelling

Chroma as enharmonic names.

Constructors

C

Cs

Db

D

Ds

Eb

E

F

Fs

Gb

G

Gs

Ab

A

As

Bb

B

Instances

Bounded Spelling

Defined in Fadno.Note

Methods

minBound :: Spelling

maxBound :: Spelling

Enum Spelling

Defined in Fadno.Note

Methods

succ :: Spelling -> Spelling

pred :: Spelling -> Spelling

toEnum :: Int -> Spelling

fromEnum :: Spelling -> Int

enumFrom :: Spelling -> [Spelling]

enumFromThen :: Spelling -> Spelling -> [Spelling]

enumFromTo :: Spelling -> Spelling -> [Spelling]

enumFromThenTo :: Spelling -> Spelling -> Spelling -> [Spelling]

Eq Spelling

Defined in Fadno.Note

Methods

(==) :: Spelling -> Spelling -> Bool

(/=) :: Spelling -> Spelling -> Bool

Ord Spelling

Defined in Fadno.Note

Methods

compare :: Spelling -> Spelling -> Ordering

(<) :: Spelling -> Spelling -> Bool

(<=) :: Spelling -> Spelling -> Bool

(>) :: Spelling -> Spelling -> Bool

(>=) :: Spelling -> Spelling -> Bool

max :: Spelling -> Spelling -> Spelling

min :: Spelling -> Spelling -> Spelling

Read Spelling

Defined in Fadno.Note

Methods

readsPrec :: Int -> ReadS Spelling

readList :: ReadS [Spelling]

readPrec :: ReadPrec Spelling

readListPrec :: ReadPrec [Spelling]

Show Spelling

Defined in Fadno.Note

Methods

showsPrec :: Int -> Spelling -> ShowS

show :: Spelling -> String

showList :: [Spelling] -> ShowS

Generic Spelling

Defined in Fadno.Note

Associated Types

type Rep Spelling :: Type -> Type

Methods

from :: Spelling -> Rep Spelling x

to :: Rep Spelling x -> Spelling

type Rep Spelling

Defined in Fadno.Note

type Rep Spelling = D1 ('MetaData "Spelling" "Fadno.Note" "fadno-1.1.8-DUxbMWAKsZi5yBbOuL2jNx" 'False) ((((C1 ('MetaCons "C" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Cs" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Db" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Ds" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Eb" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "E" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "F" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "Fs" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Gb" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "G" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Gs" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Ab" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "A" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "As" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bb" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "B" 'PrefixI 'False) (U1 :: Type -> Type))))))

fromChroma :: Integral a => a -> Spelling

Convert to Spelling with 0==C, using Cs,Eb,Fs,Gs,Bb enharmonics.

toChroma :: Integral a => Spelling -> a

Spelling to 0-11.

spelling :: Integral a => Iso' a Spelling

Spelling-to-chroma degenerate Iso.

data PitchRep

Represent pitch as chroma and octave. It's a full Num, Integral instance, so negative octave values OK. Instances use C4 == 60.

Constructors

PitchRep

Fields

• _prPitch :: Spelling
• _prOctave :: Int

Instances

Bounded PitchRep

Defined in Fadno.Note

Methods

minBound :: PitchRep

maxBound :: PitchRep

Enum PitchRep

Defined in Fadno.Note

Methods

succ :: PitchRep -> PitchRep

pred :: PitchRep -> PitchRep

toEnum :: Int -> PitchRep

fromEnum :: PitchRep -> Int

enumFrom :: PitchRep -> [PitchRep]

enumFromThen :: PitchRep -> PitchRep -> [PitchRep]

enumFromTo :: PitchRep -> PitchRep -> [PitchRep]

enumFromThenTo :: PitchRep -> PitchRep -> PitchRep -> [PitchRep]

Eq PitchRep

Defined in Fadno.Note

Methods

(==) :: PitchRep -> PitchRep -> Bool

(/=) :: PitchRep -> PitchRep -> Bool

Integral PitchRep

Defined in Fadno.Note

Methods

quot :: PitchRep -> PitchRep -> PitchRep

rem :: PitchRep -> PitchRep -> PitchRep

div :: PitchRep -> PitchRep -> PitchRep

mod :: PitchRep -> PitchRep -> PitchRep

quotRem :: PitchRep -> PitchRep -> (PitchRep, PitchRep)

divMod :: PitchRep -> PitchRep -> (PitchRep, PitchRep)

toInteger :: PitchRep -> Integer

Num PitchRep

Defined in Fadno.Note

Methods

(+) :: PitchRep -> PitchRep -> PitchRep

(-) :: PitchRep -> PitchRep -> PitchRep

(*) :: PitchRep -> PitchRep -> PitchRep

negate :: PitchRep -> PitchRep

abs :: PitchRep -> PitchRep

signum :: PitchRep -> PitchRep

fromInteger :: Integer -> PitchRep

Ord PitchRep

Defined in Fadno.Note

Methods

compare :: PitchRep -> PitchRep -> Ordering

(<) :: PitchRep -> PitchRep -> Bool

(<=) :: PitchRep -> PitchRep -> Bool

(>) :: PitchRep -> PitchRep -> Bool

(>=) :: PitchRep -> PitchRep -> Bool

max :: PitchRep -> PitchRep -> PitchRep

min :: PitchRep -> PitchRep -> PitchRep

Real PitchRep

Defined in Fadno.Note

Methods

toRational :: PitchRep -> Rational

Show PitchRep

Defined in Fadno.Note

Methods

showsPrec :: Int -> PitchRep -> ShowS

show :: PitchRep -> String

showList :: [PitchRep] -> ShowS

Generic PitchRep

Defined in Fadno.Note

Associated Types

type Rep PitchRep :: Type -> Type

Methods

from :: PitchRep -> Rep PitchRep x

to :: Rep PitchRep x -> PitchRep

type Rep PitchRep

Defined in Fadno.Note

type Rep PitchRep = D1 ('MetaData "PitchRep" "Fadno.Note" "fadno-1.1.8-DUxbMWAKsZi5yBbOuL2jNx" 'False) (C1 ('MetaCons "PitchRep" 'PrefixI 'True) (S1 ('MetaSel ('Just "_prPitch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Spelling) :*: S1 ('MetaSel ('Just "_prOctave") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

prPitch :: Lens' PitchRep Spelling

prOctave :: Lens' PitchRep Int

(@:) :: Spelling -> Int -> PitchRep infixl 6

pitchRep :: Integral a => Iso' a PitchRep

Iso to integrals.

sumDurs :: (Num d, HasNote a p d, Traversable t) => t a -> d

compute total duration of notes

mapTime :: (Num d, Ord d, HasNote a p d, Traversable t) => t a -> [(d, a)]

map notes to arrival time

tied :: (Eq p, Num d, HasNote a p d, Traversable t, Traversable u, Snoc (u a) (u a) a a, Monoid (u a)) => t a -> u a

merge same-pitch notes

tied' :: (Eq p, Num d, HasNote a p d, Traversable t) => t a -> [a]

legato :: (Eq p, Monoid p, Num d, HasNote a p d, Traversable t, Traversable u, Snoc (u a) (u a) a a, Monoid (u a)) => t a -> u a

merge rests with prior note

legato' :: (Eq p, Monoid p, Num d, HasNote a p d, Traversable t) => t a -> [a]

merge :: (Num d, HasNote a p d, Traversable t, Traversable u, Snoc (u a) (u a) a a, Monoid (u a)) => (a -> a -> Bool) -> t a -> u a

merge notes meeting some comparison by accumulating durations

transpose :: (Num p, HasNote a p d, Traversable t) => p -> t a -> t a

Pitch addition

transpose' :: (Num p, Functor f, HasNote a (f p) d, Traversable t) => p -> t a -> t a

Pitch addition over a functor

(%) :: Integral a => a -> a -> Ratio a infixl 7

Forms the ratio of two integral numbers.