Safe Haskell	Safe-Inferred
Language	Haskell2010

Fadno.Notation

Synopsis

data Quanta
- = Q2
- | Q4
- | Q8
- | Q16
- | Q32
- | Q64
qToInt :: Quanta -> Int
qFromInt :: Integral i => i -> Maybe Quanta
data TimeSignature = TimeSignature {
- _tsLength :: Int
- _tsUnit :: Quanta
}
tsUnit :: Lens' TimeSignature Quanta
tsLength :: Lens' TimeSignature Int
class HasTimeSignature a where
- timeSignature :: Lens' a (Maybe TimeSignature)
(/:) :: Int -> Quanta -> TimeSignature
data PPQ
- = PQ4
- | PQ8
- | PQ16
- | PQ32
- | PQ64
- | PQ128
- | PQ256
ppqDiv :: Integral a => PPQ -> a
tsToRatio :: TimeSignature -> Rational
tsFromRatio :: Rational -> Maybe TimeSignature
tsFromRatio' :: TimeSignature -> Rational -> Maybe TimeSignature
ratioPPQ :: forall a. 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
- = TStart
- | TStop
- | TBoth
class HasTie a where
- tie :: Lens' a (Maybe Tie)
data Slur
- = SStart
- | SStop
class HasSlur a where
- slur :: Lens' a (Maybe Slur)
data Articulation
- = Staccato
- | Accent
- | Tenuto
- | DetachedLegato
- | Staccatissimo
- | Spiccato
- | Scoop
- | Plop
- | Doit
- | Falloff
- | BreathMark
- | Caesura
- | Stress
- | Unstress
- | SoftAccent
- | OtherArticulation String
class HasArticulation a where
- articulation :: Lens' a (Maybe Articulation)
newtype RehearsalMark = RehearsalMark {
- _rehearsalText :: String
}
rehearsalText :: Iso' RehearsalMark String
class HasRehearsalMark a where
- rehearsalMark :: Lens' a (Maybe RehearsalMark)
newtype Direction = Direction {
- _directionText :: String
}
directionText :: Iso' Direction String
class HasDirection a where
- direction :: Lens' a (Maybe Direction)
data Barline
- = Double
- | Final
class HasBarline a where
- barline :: Lens' a (Maybe Barline)
data Repeats
- = RStart
- | REnd
- | RBoth
class HasRepeats a where
- repeats :: Lens' a (Maybe Repeats)
data Clef
- = TrebleClef
- | BassClef
- | AltoClef
- | PercClef
class HasClef a where
- clef :: Lens' a (Maybe Clef)
data Beam
- = BeamBegin
- | BeamContinue
- | BeamEnd
- | BeamForwardHook
- | BeamBackwardHook
class HasBeams a where
- beams :: Lens' a [Beam]
class HasVoice a where
- voice :: Lens' a (Maybe String)
newtype Part a = Part {
- _partIdx :: a
}
partIdx :: forall a a. Iso (Part a) (Part a) a a
class HasPart a b | a -> b where
- part :: Lens' a (Maybe (Part b))
mshow :: Show a => Getter s (Maybe a) -> String -> s -> String
mshows :: s -> String -> [s -> String] -> String
type Note' p d = Noted (Note p d)
data Noted n = Noted {
- _nNote :: n
- _nTie :: Maybe Tie
- _nSlur :: Maybe Slur
- _nArticulation :: Maybe Articulation
- _nBeams :: [Beam]
- _nVoice :: Maybe String
}
nVoice :: forall n. Lens' (Noted n) (Maybe String)
nTie :: forall n. Lens' (Noted n) (Maybe Tie)
nSlur :: forall n. Lens' (Noted n) (Maybe Slur)
nNote :: forall n n. Lens (Noted n) (Noted n) n n
nBeams :: forall n. Lens' (Noted n) [Beam]
nArticulation :: forall n. Lens' (Noted n) (Maybe Articulation)
note' :: Note p d -> Note' p d
noted :: n -> Noted n
testNote :: Note' [Int] Int
data Bar n = Bar {
- _bNotes :: Seq n
- _bRehearsalMark :: Maybe RehearsalMark
- _bDirection :: Maybe Direction
- _bBarline :: Maybe Barline
- _bRepeats :: Maybe Repeats
- _bTimeSignature :: Maybe TimeSignature
- _bClef :: Maybe Clef
}
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

data Quanta Source #

Constructors

Q2
Q4
Q8
Q16
Q32
Q64

Instances

Instances details

Bounded Quanta Source #
Instance details Defined in Fadno.Notation Methods minBound :: Quanta # maxBound :: Quanta #
Enum Quanta Source #
Instance details Defined in Fadno.Notation Methods succ :: Quanta -> Quanta # pred :: Quanta -> Quanta # toEnum :: Int -> Quanta # fromEnum :: Quanta -> Int # enumFrom :: Quanta -> [Quanta] # enumFromThen :: Quanta -> Quanta -> [Quanta] # enumFromTo :: Quanta -> Quanta -> [Quanta] # enumFromThenTo :: Quanta -> Quanta -> Quanta -> [Quanta] #
Show Quanta Source #
Instance details Defined in Fadno.Notation Methods showsPrec :: Int -> Quanta -> ShowS # show :: Quanta -> String # showList :: [Quanta] -> ShowS #
Eq Quanta Source #
Instance details Defined in Fadno.Notation Methods (==) :: Quanta -> Quanta -> Bool # (/=) :: Quanta -> Quanta -> Bool #
Ord Quanta Source #
Instance details Defined in Fadno.Notation Methods compare :: Quanta -> Quanta -> Ordering # (<) :: Quanta -> Quanta -> Bool # (<=) :: Quanta -> Quanta -> Bool # (>) :: Quanta -> Quanta -> Bool # (>=) :: Quanta -> Quanta -> Bool # max :: Quanta -> Quanta -> Quanta # min :: Quanta -> Quanta -> Quanta #

qToInt :: Quanta -> Int Source #

qFromInt :: Integral i => i -> Maybe Quanta Source #

data TimeSignature Source #

Constructors

TimeSignature
Fields _tsLength :: Int _tsUnit :: Quanta

Instances

Instances details

Show TimeSignature Source #
Instance details Defined in Fadno.Notation Methods showsPrec :: Int -> TimeSignature -> ShowS # show :: TimeSignature -> String # showList :: [TimeSignature] -> ShowS #
Eq TimeSignature Source #
Instance details Defined in Fadno.Notation Methods (==) :: TimeSignature -> TimeSignature -> Bool # (/=) :: TimeSignature -> TimeSignature -> Bool #
Ord TimeSignature Source #
Instance details Defined in Fadno.Notation Methods compare :: TimeSignature -> TimeSignature -> Ordering # (<) :: TimeSignature -> TimeSignature -> Bool # (<=) :: TimeSignature -> TimeSignature -> Bool # (>) :: TimeSignature -> TimeSignature -> Bool # (>=) :: TimeSignature -> TimeSignature -> Bool # max :: TimeSignature -> TimeSignature -> TimeSignature # min :: TimeSignature -> TimeSignature -> TimeSignature #

tsUnit :: Lens' TimeSignature Quanta Source #

tsLength :: Lens' TimeSignature Int Source #

class HasTimeSignature a where Source #

Methods

timeSignature :: Lens' a (Maybe TimeSignature) Source #

Instances

Instances details

HasTimeSignature (Bar n) Source #
Instance details Defined in Fadno.Notation Methods timeSignature :: Lens' (Bar n) (Maybe TimeSignature) Source #

(/:) :: Int -> Quanta -> TimeSignature Source #

data PPQ Source #

Constructors

PQ4
PQ8
PQ16
PQ32
PQ64
PQ128
PQ256

Instances

Instances details

Bounded PPQ Source #
Instance details Defined in Fadno.Notation Methods minBound :: PPQ # maxBound :: PPQ #
Enum PPQ Source #
Instance details Defined in Fadno.Notation Methods succ :: PPQ -> PPQ # pred :: PPQ -> PPQ # toEnum :: Int -> PPQ # fromEnum :: PPQ -> Int # enumFrom :: PPQ -> [PPQ] # enumFromThen :: PPQ -> PPQ -> [PPQ] # enumFromTo :: PPQ -> PPQ -> [PPQ] # enumFromThenTo :: PPQ -> PPQ -> PPQ -> [PPQ] #
Show PPQ Source #
Instance details Defined in Fadno.Notation Methods showsPrec :: Int -> PPQ -> ShowS # show :: PPQ -> String # showList :: [PPQ] -> ShowS #
Eq PPQ Source #
Instance details Defined in Fadno.Notation Methods (==) :: PPQ -> PPQ -> Bool # (/=) :: PPQ -> PPQ -> Bool #
Ord PPQ Source #
Instance details Defined in Fadno.Notation Methods compare :: PPQ -> PPQ -> Ordering # (<) :: PPQ -> PPQ -> Bool # (<=) :: PPQ -> PPQ -> Bool # (>) :: PPQ -> PPQ -> Bool # (>=) :: PPQ -> PPQ -> Bool # max :: PPQ -> PPQ -> PPQ # min :: PPQ -> PPQ -> PPQ #

ppqDiv :: Integral a => PPQ -> a Source #

tsToRatio :: TimeSignature -> Rational Source #

tsFromRatio :: Rational -> Maybe TimeSignature Source #

tsFromRatio' :: TimeSignature -> Rational -> Maybe TimeSignature Source #

ratioPPQ :: forall a. Integral a => PPQ -> Iso' a Rational Source #

Duration iso, from Integral to Rational, given PPQ

adaptHas :: Lens' a (Maybe a) Source #

Adapt a type to its HasXXX "Maybe Lens'"

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.

data Tie Source #

Tied notes.

Constructors

TStart
TStop
TBoth

Instances

Instances details

Bounded Tie Source #
Instance details Defined in Fadno.Notation Methods minBound :: Tie # maxBound :: Tie #
Enum Tie Source #
Instance details Defined in Fadno.Notation Methods succ :: Tie -> Tie # pred :: Tie -> Tie # toEnum :: Int -> Tie # fromEnum :: Tie -> Int # enumFrom :: Tie -> [Tie] # enumFromThen :: Tie -> Tie -> [Tie] # enumFromTo :: Tie -> Tie -> [Tie] # enumFromThenTo :: Tie -> Tie -> Tie -> [Tie] #
Show Tie Source #
Instance details Defined in Fadno.Notation Methods showsPrec :: Int -> Tie -> ShowS # show :: Tie -> String # showList :: [Tie] -> ShowS #
HasTie Tie Source #
Instance details Defined in Fadno.Notation Methods tie :: Lens' Tie (Maybe Tie) Source #
Eq Tie Source #
Instance details Defined in Fadno.Notation Methods (==) :: Tie -> Tie -> Bool # (/=) :: Tie -> Tie -> Bool #
Ord Tie Source #
Instance details Defined in Fadno.Notation Methods compare :: Tie -> Tie -> Ordering # (<) :: Tie -> Tie -> Bool # (<=) :: Tie -> Tie -> Bool # (>) :: Tie -> Tie -> Bool # (>=) :: Tie -> Tie -> Bool # max :: Tie -> Tie -> Tie # min :: Tie -> Tie -> Tie #

class HasTie a where Source #

Methods

tie :: Lens' a (Maybe Tie) Source #

Instances

Instances details

HasTie Tie Source #
Instance details Defined in Fadno.Notation Methods tie :: Lens' Tie (Maybe Tie) Source #
HasTie (Noted n) Source #
Instance details Defined in Fadno.Notation Methods tie :: Lens' (Noted n) (Maybe Tie) Source #
HasTie (Note p d) Source #
Instance details Defined in Fadno.Notation Methods tie :: Lens' (Note p d) (Maybe Tie) Source #

data Slur Source #

Slurred notes.

Constructors

SStart
SStop

Instances

Instances details

Bounded Slur Source #
Instance details Defined in Fadno.Notation Methods minBound :: Slur # maxBound :: Slur #
Enum Slur Source #
Instance details Defined in Fadno.Notation Methods succ :: Slur -> Slur # pred :: Slur -> Slur # toEnum :: Int -> Slur # fromEnum :: Slur -> Int # enumFrom :: Slur -> [Slur] # enumFromThen :: Slur -> Slur -> [Slur] # enumFromTo :: Slur -> Slur -> [Slur] # enumFromThenTo :: Slur -> Slur -> Slur -> [Slur] #
Show Slur Source #
Instance details Defined in Fadno.Notation Methods showsPrec :: Int -> Slur -> ShowS # show :: Slur -> String # showList :: [Slur] -> ShowS #
HasSlur Slur Source #
Instance details Defined in Fadno.Notation Methods slur :: Lens' Slur (Maybe Slur) Source #
Eq Slur Source #
Instance details Defined in Fadno.Notation Methods (==) :: Slur -> Slur -> Bool # (/=) :: Slur -> Slur -> Bool #
Ord Slur Source #
Instance details Defined in Fadno.Notation Methods compare :: Slur -> Slur -> Ordering # (<) :: Slur -> Slur -> Bool # (<=) :: Slur -> Slur -> Bool # (>) :: Slur -> Slur -> Bool # (>=) :: Slur -> Slur -> Bool # max :: Slur -> Slur -> Slur # min :: Slur -> Slur -> Slur #

class HasSlur a where Source #

Methods

slur :: Lens' a (Maybe Slur) Source #

Instances

Instances details

HasSlur Slur Source #
Instance details Defined in Fadno.Notation Methods slur :: Lens' Slur (Maybe Slur) Source #
HasSlur (Noted n) Source #
Instance details Defined in Fadno.Notation Methods slur :: Lens' (Noted n) (Maybe Slur) Source #

data Articulation Source #

Note articulations.

Constructors

Staccato
Accent
Tenuto	StrongAccent TODO implement after fixing fadno-xml #7
DetachedLegato
Staccatissimo
Spiccato
Scoop
Plop
Doit
Falloff
BreathMark
Caesura
Stress
Unstress
SoftAccent
OtherArticulation String

Instances

Instances details

Show Articulation Source #
Instance details Defined in Fadno.Notation Methods showsPrec :: Int -> Articulation -> ShowS # show :: Articulation -> String # showList :: [Articulation] -> ShowS #
HasArticulation Articulation Source #
Instance details Defined in Fadno.Notation Methods articulation :: Lens' Articulation (Maybe Articulation) Source #
Eq Articulation Source #
Instance details Defined in Fadno.Notation Methods (==) :: Articulation -> Articulation -> Bool # (/=) :: Articulation -> Articulation -> Bool #
Ord Articulation Source #
Instance details Defined in Fadno.Notation Methods compare :: Articulation -> Articulation -> Ordering # (<) :: Articulation -> Articulation -> Bool # (<=) :: Articulation -> Articulation -> Bool # (>) :: Articulation -> Articulation -> Bool # (>=) :: Articulation -> Articulation -> Bool # max :: Articulation -> Articulation -> Articulation # min :: Articulation -> Articulation -> Articulation #

class HasArticulation a where Source #

Methods

articulation :: Lens' a (Maybe Articulation) Source #

Instances

Instances details

HasArticulation Articulation Source #
Instance details Defined in Fadno.Notation Methods articulation :: Lens' Articulation (Maybe Articulation) Source #
HasArticulation (Noted n) Source #
Instance details Defined in Fadno.Notation Methods articulation :: Lens' (Noted n) (Maybe Articulation) Source #

newtype RehearsalMark Source #

Bar rehearsal mark.

Constructors

RehearsalMark
Fields _rehearsalText :: String

Instances

Instances details

IsString RehearsalMark Source #
Instance details Defined in Fadno.Notation Methods fromString :: String -> RehearsalMark #
Monoid RehearsalMark Source #
Instance details Defined in Fadno.Notation Methods mempty :: RehearsalMark # mappend :: RehearsalMark -> RehearsalMark -> RehearsalMark # mconcat :: [RehearsalMark] -> RehearsalMark #
Semigroup RehearsalMark Source #
Instance details Defined in Fadno.Notation Methods (<>) :: RehearsalMark -> RehearsalMark -> RehearsalMark # sconcat :: NonEmpty RehearsalMark -> RehearsalMark # stimes :: Integral b => b -> RehearsalMark -> RehearsalMark #
Generic RehearsalMark Source #
Instance details Defined in Fadno.Notation Associated Types type Rep RehearsalMark :: Type -> Type # Methods from :: RehearsalMark -> Rep RehearsalMark x # to :: Rep RehearsalMark x -> RehearsalMark #
Show RehearsalMark Source #
Instance details Defined in Fadno.Notation Methods showsPrec :: Int -> RehearsalMark -> ShowS # show :: RehearsalMark -> String # showList :: [RehearsalMark] -> ShowS #
Default RehearsalMark Source #
Instance details Defined in Fadno.Notation Methods def :: RehearsalMark #
HasRehearsalMark RehearsalMark Source #
Instance details Defined in Fadno.Notation Methods rehearsalMark :: Lens' RehearsalMark (Maybe RehearsalMark) Source #
Eq RehearsalMark Source #
Instance details Defined in Fadno.Notation Methods (==) :: RehearsalMark -> RehearsalMark -> Bool # (/=) :: RehearsalMark -> RehearsalMark -> Bool #
Ord RehearsalMark Source #
Instance details Defined in Fadno.Notation Methods compare :: RehearsalMark -> RehearsalMark -> Ordering # (<) :: RehearsalMark -> RehearsalMark -> Bool # (<=) :: RehearsalMark -> RehearsalMark -> Bool # (>) :: RehearsalMark -> RehearsalMark -> Bool # (>=) :: RehearsalMark -> RehearsalMark -> Bool # max :: RehearsalMark -> RehearsalMark -> RehearsalMark # min :: RehearsalMark -> RehearsalMark -> RehearsalMark #
type Rep RehearsalMark Source #
Instance details Defined in Fadno.Notation type Rep RehearsalMark = D1 ('MetaData "RehearsalMark" "Fadno.Notation" "fadno-1.1.9.1-Eru2Yc86rln9jozd2rhNAS" 'True) (C1 ('MetaCons "RehearsalMark" 'PrefixI 'True) (S1 ('MetaSel ('Just "_rehearsalText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

rehearsalText :: Iso' RehearsalMark String Source #

class HasRehearsalMark a where Source #

Methods

rehearsalMark :: Lens' a (Maybe RehearsalMark) Source #

Instances

Instances details

HasRehearsalMark RehearsalMark Source #
Instance details Defined in Fadno.Notation Methods rehearsalMark :: Lens' RehearsalMark (Maybe RehearsalMark) Source #
HasRehearsalMark (Bar n) Source #
Instance details Defined in Fadno.Notation Methods rehearsalMark :: Lens' (Bar n) (Maybe RehearsalMark) Source #

newtype Direction Source #

Musical direction.

Constructors

Direction
Fields _directionText :: String

Instances

Instances details

IsString Direction Source #
Instance details Defined in Fadno.Notation Methods fromString :: String -> Direction #
Monoid Direction Source #
Instance details Defined in Fadno.Notation Methods mempty :: Direction # mappend :: Direction -> Direction -> Direction # mconcat :: [Direction] -> Direction #
Semigroup Direction Source #
Instance details Defined in Fadno.Notation Methods (<>) :: Direction -> Direction -> Direction # sconcat :: NonEmpty Direction -> Direction # stimes :: Integral b => b -> Direction -> Direction #
Generic Direction Source #
Instance details Defined in Fadno.Notation Associated Types type Rep Direction :: Type -> Type # Methods from :: Direction -> Rep Direction x # to :: Rep Direction x -> Direction #
Show Direction Source #
Instance details Defined in Fadno.Notation Methods showsPrec :: Int -> Direction -> ShowS # show :: Direction -> String # showList :: [Direction] -> ShowS #
Default Direction Source #
Instance details Defined in Fadno.Notation Methods def :: Direction #
HasDirection Direction Source #
Instance details Defined in Fadno.Notation Methods direction :: Lens' Direction (Maybe Direction) Source #
Eq Direction Source #
Instance details Defined in Fadno.Notation Methods (==) :: Direction -> Direction -> Bool # (/=) :: Direction -> Direction -> Bool #
Ord Direction Source #
Instance details Defined in Fadno.Notation Methods compare :: Direction -> Direction -> Ordering # (<) :: Direction -> Direction -> Bool # (<=) :: Direction -> Direction -> Bool # (>) :: Direction -> Direction -> Bool # (>=) :: Direction -> Direction -> Bool # max :: Direction -> Direction -> Direction # min :: Direction -> Direction -> Direction #
type Rep Direction Source #
Instance details Defined in Fadno.Notation type Rep Direction = D1 ('MetaData "Direction" "Fadno.Notation" "fadno-1.1.9.1-Eru2Yc86rln9jozd2rhNAS" 'True) (C1 ('MetaCons "Direction" 'PrefixI 'True) (S1 ('MetaSel ('Just "_directionText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

directionText :: Iso' Direction String Source #

class HasDirection a where Source #

Methods

direction :: Lens' a (Maybe Direction) Source #

Instances

Instances details

HasDirection Direction Source #
Instance details Defined in Fadno.Notation Methods direction :: Lens' Direction (Maybe Direction) Source #
HasDirection (Bar n) Source #
Instance details Defined in Fadno.Notation Methods direction :: Lens' (Bar n) (Maybe Direction) Source #

data Barline Source #

Barline.

Constructors

Double
Final

Instances

Instances details

Generic Barline Source #
Instance details Defined in Fadno.Notation Associated Types type Rep Barline :: Type -> Type # Methods from :: Barline -> Rep Barline x # to :: Rep Barline x -> Barline #
Show Barline Source #
Instance details Defined in Fadno.Notation Methods showsPrec :: Int -> Barline -> ShowS # show :: Barline -> String # showList :: [Barline] -> ShowS #
HasBarline Barline Source #
Instance details Defined in Fadno.Notation Methods barline :: Lens' Barline (Maybe Barline) Source #
Eq Barline Source #
Instance details Defined in Fadno.Notation Methods (==) :: Barline -> Barline -> Bool # (/=) :: Barline -> Barline -> Bool #
Ord Barline Source #
Instance details Defined in Fadno.Notation Methods compare :: Barline -> Barline -> Ordering # (<) :: Barline -> Barline -> Bool # (<=) :: Barline -> Barline -> Bool # (>) :: Barline -> Barline -> Bool # (>=) :: Barline -> Barline -> Bool # max :: Barline -> Barline -> Barline # min :: Barline -> Barline -> Barline #
type Rep Barline Source #
Instance details Defined in Fadno.Notation type Rep Barline = D1 ('MetaData "Barline" "Fadno.Notation" "fadno-1.1.9.1-Eru2Yc86rln9jozd2rhNAS" 'False) (C1 ('MetaCons "Double" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Final" 'PrefixI 'False) (U1 :: Type -> Type))

class HasBarline a where Source #

Methods

barline :: Lens' a (Maybe Barline) Source #

Instances

Instances details

HasBarline Barline Source #
Instance details Defined in Fadno.Notation Methods barline :: Lens' Barline (Maybe Barline) Source #
HasBarline (Bar n) Source #
Instance details Defined in Fadno.Notation Methods barline :: Lens' (Bar n) (Maybe Barline) Source #

data Repeats Source #

Constructors

RStart
REnd
RBoth

Instances

Instances details

Generic Repeats Source #
Instance details Defined in Fadno.Notation Associated Types type Rep Repeats :: Type -> Type # Methods from :: Repeats -> Rep Repeats x # to :: Rep Repeats x -> Repeats #
Show Repeats Source #
Instance details Defined in Fadno.Notation Methods showsPrec :: Int -> Repeats -> ShowS # show :: Repeats -> String # showList :: [Repeats] -> ShowS #
HasRepeats Repeats Source #
Instance details Defined in Fadno.Notation Methods repeats :: Lens' Repeats (Maybe Repeats) Source #
Eq Repeats Source #
Instance details Defined in Fadno.Notation Methods (==) :: Repeats -> Repeats -> Bool # (/=) :: Repeats -> Repeats -> Bool #
Ord Repeats Source #
Instance details Defined in Fadno.Notation Methods compare :: Repeats -> Repeats -> Ordering # (<) :: Repeats -> Repeats -> Bool # (<=) :: Repeats -> Repeats -> Bool # (>) :: Repeats -> Repeats -> Bool # (>=) :: Repeats -> Repeats -> Bool # max :: Repeats -> Repeats -> Repeats # min :: Repeats -> Repeats -> Repeats #
type Rep Repeats Source #
Instance details Defined in Fadno.Notation type Rep Repeats = D1 ('MetaData "Repeats" "Fadno.Notation" "fadno-1.1.9.1-Eru2Yc86rln9jozd2rhNAS" 'False) (C1 ('MetaCons "RStart" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "REnd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RBoth" 'PrefixI 'False) (U1 :: Type -> Type)))

class HasRepeats a where Source #

Methods

repeats :: Lens' a (Maybe Repeats) Source #

Instances

Instances details

HasRepeats Repeats Source #
Instance details Defined in Fadno.Notation Methods repeats :: Lens' Repeats (Maybe Repeats) Source #
HasRepeats (Bar n) Source #
Instance details Defined in Fadno.Notation Methods repeats :: Lens' (Bar n) (Maybe Repeats) Source #

data Clef Source #

Constructors

TrebleClef
BassClef
AltoClef
PercClef

Instances

Instances details

Generic Clef Source #
Instance details Defined in Fadno.Notation Associated Types type Rep Clef :: Type -> Type # Methods from :: Clef -> Rep Clef x # to :: Rep Clef x -> Clef #
Show Clef Source #
Instance details Defined in Fadno.Notation Methods showsPrec :: Int -> Clef -> ShowS # show :: Clef -> String # showList :: [Clef] -> ShowS #
HasClef Clef Source #
Instance details Defined in Fadno.Notation Methods clef :: Lens' Clef (Maybe Clef) Source #
Eq Clef Source #
Instance details Defined in Fadno.Notation Methods (==) :: Clef -> Clef -> Bool # (/=) :: Clef -> Clef -> Bool #
Ord Clef Source #
Instance details Defined in Fadno.Notation Methods compare :: Clef -> Clef -> Ordering # (<) :: Clef -> Clef -> Bool # (<=) :: Clef -> Clef -> Bool # (>) :: Clef -> Clef -> Bool # (>=) :: Clef -> Clef -> Bool # max :: Clef -> Clef -> Clef # min :: Clef -> Clef -> Clef #
type Rep Clef Source #
Instance details Defined in Fadno.Notation type Rep Clef = D1 ('MetaData "Clef" "Fadno.Notation" "fadno-1.1.9.1-Eru2Yc86rln9jozd2rhNAS" 'False) ((C1 ('MetaCons "TrebleClef" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BassClef" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AltoClef" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PercClef" 'PrefixI 'False) (U1 :: Type -> Type)))

class HasClef a where Source #

Methods

clef :: Lens' a (Maybe Clef) Source #

Instances

Instances details

HasClef Clef Source #
Instance details Defined in Fadno.Notation Methods clef :: Lens' Clef (Maybe Clef) Source #
HasClef (Bar n) Source #
Instance details Defined in Fadno.Notation Methods clef :: Lens' (Bar n) (Maybe Clef) Source #

data Beam Source #

Adapts musicxml Beams where beams are labeled "1" for eighth beam etc, where instead it is a list implying the first element is eighth etc.

Constructors

BeamBegin
BeamContinue
BeamEnd
BeamForwardHook
BeamBackwardHook

Instances

Instances details

Bounded Beam Source #
Instance details Defined in Fadno.Notation Methods minBound :: Beam # maxBound :: Beam #
Enum Beam Source #
Instance details Defined in Fadno.Notation Methods succ :: Beam -> Beam # pred :: Beam -> Beam # toEnum :: Int -> Beam # fromEnum :: Beam -> Int # enumFrom :: Beam -> [Beam] # enumFromThen :: Beam -> Beam -> [Beam] # enumFromTo :: Beam -> Beam -> [Beam] # enumFromThenTo :: Beam -> Beam -> Beam -> [Beam] #
Show Beam Source #
Instance details Defined in Fadno.Notation Methods showsPrec :: Int -> Beam -> ShowS # show :: Beam -> String # showList :: [Beam] -> ShowS #
Eq Beam Source #
Instance details Defined in Fadno.Notation Methods (==) :: Beam -> Beam -> Bool # (/=) :: Beam -> Beam -> Bool #
Ord Beam Source #
Instance details Defined in Fadno.Notation Methods compare :: Beam -> Beam -> Ordering # (<) :: Beam -> Beam -> Bool # (<=) :: Beam -> Beam -> Bool # (>) :: Beam -> Beam -> Bool # (>=) :: Beam -> Beam -> Bool # max :: Beam -> Beam -> Beam # min :: Beam -> Beam -> Beam #
HasBeams [Beam] Source #
Instance details Defined in Fadno.Notation Methods beams :: Lens' [Beam] [Beam] Source #

class HasBeams a where Source #

Methods

beams :: Lens' a [Beam] Source #

Instances

Instances details

HasBeams (Noted n) Source #
Instance details Defined in Fadno.Notation Methods beams :: Lens' (Noted n) [Beam] Source #
HasBeams [Beam] Source #
Instance details Defined in Fadno.Notation Methods beams :: Lens' [Beam] [Beam] Source #

class HasVoice a where Source #

Methods

voice :: Lens' a (Maybe String) Source #

Instances

Instances details

HasVoice (Noted n) Source #
Instance details Defined in Fadno.Notation Methods voice :: Lens' (Noted n) (Maybe String) Source #

newtype Part a Source #

Part identifier, prefers Num or IsString values.

Constructors

Part
Fields _partIdx :: a

Instances

Instances details

Foldable Part Source #
Instance details Defined in Fadno.Notation Methods fold :: Monoid m => Part m -> m # foldMap :: Monoid m => (a -> m) -> Part a -> m # foldMap' :: Monoid m => (a -> m) -> Part a -> m # foldr :: (a -> b -> b) -> b -> Part a -> b # foldr' :: (a -> b -> b) -> b -> Part a -> b # foldl :: (b -> a -> b) -> b -> Part a -> b # foldl' :: (b -> a -> b) -> b -> Part a -> b # foldr1 :: (a -> a -> a) -> Part a -> a # foldl1 :: (a -> a -> a) -> Part a -> a # toList :: Part a -> [a] # null :: Part a -> Bool # length :: Part a -> Int # elem :: Eq a => a -> Part a -> Bool # maximum :: Ord a => Part a -> a # minimum :: Ord a => Part a -> a # sum :: Num a => Part a -> a # product :: Num a => Part a -> a #
Traversable Part Source #
Instance details Defined in Fadno.Notation Methods traverse :: Applicative f => (a -> f b) -> Part a -> f (Part b) # sequenceA :: Applicative f => Part (f a) -> f (Part a) # mapM :: Monad m => (a -> m b) -> Part a -> m (Part b) # sequence :: Monad m => Part (m a) -> m (Part a) #
Functor Part Source #
Instance details Defined in Fadno.Notation Methods fmap :: (a -> b) -> Part a -> Part b # (<$) :: a -> Part b -> Part a #
IsString a => IsString (Part a) Source #
Instance details Defined in Fadno.Notation Methods fromString :: String -> Part a #
Bounded a => Bounded (Part a) Source #
Instance details Defined in Fadno.Notation Methods minBound :: Part a # maxBound :: Part a #
Generic (Part a) Source #
Instance details Defined in Fadno.Notation Associated Types type Rep (Part a) :: Type -> Type # Methods from :: Part a -> Rep (Part a) x # to :: Rep (Part a) x -> Part a #
Num a => Num (Part a) Source #
Instance details Defined in Fadno.Notation Methods (+) :: Part a -> Part a -> Part a # (-) :: Part a -> Part a -> Part a # (*) :: Part a -> Part a -> Part a # negate :: Part a -> Part a # abs :: Part a -> Part a # signum :: Part a -> Part a # fromInteger :: Integer -> Part a #
Real a => Real (Part a) Source #
Instance details Defined in Fadno.Notation Methods toRational :: Part a -> Rational #
Show a => Show (Part a) Source #
Instance details Defined in Fadno.Notation Methods showsPrec :: Int -> Part a -> ShowS # show :: Part a -> String # showList :: [Part a] -> ShowS #
Eq a => Eq (Part a) Source #
Instance details Defined in Fadno.Notation Methods (==) :: Part a -> Part a -> Bool # (/=) :: Part a -> Part a -> Bool #
Ord a => Ord (Part a) Source #
Instance details Defined in Fadno.Notation Methods compare :: Part a -> Part a -> Ordering # (<) :: Part a -> Part a -> Bool # (<=) :: Part a -> Part a -> Bool # (>) :: Part a -> Part a -> Bool # (>=) :: Part a -> Part a -> Bool # max :: Part a -> Part a -> Part a # min :: Part a -> Part a -> Part a #
type Rep (Part a) Source #
Instance details Defined in Fadno.Notation type Rep (Part a) = D1 ('MetaData "Part" "Fadno.Notation" "fadno-1.1.9.1-Eru2Yc86rln9jozd2rhNAS" 'True) (C1 ('MetaCons "Part" 'PrefixI 'True) (S1 ('MetaSel ('Just "_partIdx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

partIdx :: forall a a. Iso (Part a) (Part a) a a Source #

class HasPart a b | a -> b where Source #

Methods

part :: Lens' a (Maybe (Part b)) Source #

mshow :: Show a => Getter s (Maybe a) -> String -> s -> String Source #

Lensy show of a Maybe field, given a ReifiedGetter and its name.

mshows :: s -> String -> [s -> String] -> String Source #

concatMap show functions with a prelude.

type Note' p d = Noted (Note p d) Source #

Note with notations.

data Noted n Source #

Constructors

Noted
Fields _nNote :: n _nTie :: Maybe Tie _nSlur :: Maybe Slur _nArticulation :: Maybe Articulation _nBeams :: [Beam] _nVoice :: Maybe String

Instances

Instances details

Foldable Noted Source #
Instance details Defined in Fadno.Notation Methods fold :: Monoid m => Noted m -> m # foldMap :: Monoid m => (a -> m) -> Noted a -> m # foldMap' :: Monoid m => (a -> m) -> Noted a -> m # foldr :: (a -> b -> b) -> b -> Noted a -> b # foldr' :: (a -> b -> b) -> b -> Noted a -> b # foldl :: (b -> a -> b) -> b -> Noted a -> b # foldl' :: (b -> a -> b) -> b -> Noted a -> b # foldr1 :: (a -> a -> a) -> Noted a -> a # foldl1 :: (a -> a -> a) -> Noted a -> a # toList :: Noted a -> [a] # null :: Noted a -> Bool # length :: Noted a -> Int # elem :: Eq a => a -> Noted a -> Bool # maximum :: Ord a => Noted a -> a # minimum :: Ord a => Noted a -> a # sum :: Num a => Noted a -> a # product :: Num a => Noted a -> a #
Traversable Noted Source #
Instance details Defined in Fadno.Notation Methods traverse :: Applicative f => (a -> f b) -> Noted a -> f (Noted b) # sequenceA :: Applicative f => Noted (f a) -> f (Noted a) # mapM :: Monad m => (a -> m b) -> Noted a -> m (Noted b) # sequence :: Monad m => Noted (m a) -> m (Noted a) #
Functor Noted Source #
Instance details Defined in Fadno.Notation Methods fmap :: (a -> b) -> Noted a -> Noted b # (<$) :: a -> Noted b -> Noted a #
Generic (Noted n) Source #
Instance details Defined in Fadno.Notation Associated Types type Rep (Noted n) :: Type -> Type # Methods from :: Noted n -> Rep (Noted n) x # to :: Rep (Noted n) x -> Noted n #
Show n => Show (Noted n) Source #
Instance details Defined in Fadno.Notation Methods showsPrec :: Int -> Noted n -> ShowS # show :: Noted n -> String # showList :: [Noted n] -> ShowS #
HasArticulation (Noted n) Source #
Instance details Defined in Fadno.Notation Methods articulation :: Lens' (Noted n) (Maybe Articulation) Source #
HasBeams (Noted n) Source #
Instance details Defined in Fadno.Notation Methods beams :: Lens' (Noted n) [Beam] Source #
HasSlur (Noted n) Source #
Instance details Defined in Fadno.Notation Methods slur :: Lens' (Noted n) (Maybe Slur) Source #
HasTie (Noted n) Source #
Instance details Defined in Fadno.Notation Methods tie :: Lens' (Noted n) (Maybe Tie) Source #
HasVoice (Noted n) Source #
Instance details Defined in Fadno.Notation Methods voice :: Lens' (Noted n) (Maybe String) Source #
Eq n => Eq (Noted n) Source #
Instance details Defined in Fadno.Notation Methods (==) :: Noted n -> Noted n -> Bool # (/=) :: Noted n -> Noted n -> Bool #
HasNote (Note' p d) p d Source #
Instance details Defined in Fadno.Notation Methods note :: Lens' (Note' p d) (Note p d) Source # fromNote :: HasNote n p d => n -> Note' p d Source # notePitch :: Lens' (Note' p d) p Source # noteDur :: Lens' (Note' p d) d Source #
type Rep (Noted n) Source #
Instance details Defined in Fadno.Notation type Rep (Noted n) = D1 ('MetaData "Noted" "Fadno.Notation" "fadno-1.1.9.1-Eru2Yc86rln9jozd2rhNAS" 'False) (C1 ('MetaCons "Noted" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_nNote") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 n) :: (S1 ('MetaSel ('Just "_nTie") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Tie)) :: S1 ('MetaSel ('Just "_nSlur") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Slur)))) :: (S1 ('MetaSel ('Just "_nArticulation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Articulation)) :: (S1 ('MetaSel ('Just "_nBeams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Beam]) :*: S1 ('MetaSel ('Just "_nVoice") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String))))))

nVoice :: forall n. Lens' (Noted n) (Maybe String) Source #

nTie :: forall n. Lens' (Noted n) (Maybe Tie) Source #

nSlur :: forall n. Lens' (Noted n) (Maybe Slur) Source #

nNote :: forall n n. Lens (Noted n) (Noted n) n n Source #

nBeams :: forall n. Lens' (Noted n) [Beam] Source #

nArticulation :: forall n. Lens' (Noted n) (Maybe Articulation) Source #

note' :: Note p d -> Note' p d Source #

Note smart ctor, used in Show.

noted :: n -> Noted n Source #

testNote :: Note' [Int] Int Source #

data Bar n Source #

Bar as list of notes, with notations.

Constructors

Bar
Fields _bNotes :: Seq n _bRehearsalMark :: Maybe RehearsalMark _bDirection :: Maybe Direction _bBarline :: Maybe Barline _bRepeats :: Maybe Repeats _bTimeSignature :: Maybe TimeSignature _bClef :: Maybe Clef

Instances

Instances details

Foldable Bar Source #
Instance details Defined in Fadno.Notation Methods fold :: Monoid m => Bar m -> m # foldMap :: Monoid m => (a -> m) -> Bar a -> m # foldMap' :: Monoid m => (a -> m) -> Bar a -> m # foldr :: (a -> b -> b) -> b -> Bar a -> b # foldr' :: (a -> b -> b) -> b -> Bar a -> b # foldl :: (b -> a -> b) -> b -> Bar a -> b # foldl' :: (b -> a -> b) -> b -> Bar a -> b # foldr1 :: (a -> a -> a) -> Bar a -> a # foldl1 :: (a -> a -> a) -> Bar a -> a # toList :: Bar a -> [a] # null :: Bar a -> Bool # length :: Bar a -> Int # elem :: Eq a => a -> Bar a -> Bool # maximum :: Ord a => Bar a -> a # minimum :: Ord a => Bar a -> a # sum :: Num a => Bar a -> a # product :: Num a => Bar a -> a #
Traversable Bar Source #
Instance details Defined in Fadno.Notation Methods traverse :: Applicative f => (a -> f b) -> Bar a -> f (Bar b) # sequenceA :: Applicative f => Bar (f a) -> f (Bar a) # mapM :: Monad m => (a -> m b) -> Bar a -> m (Bar b) # sequence :: Monad m => Bar (m a) -> m (Bar a) #
Functor Bar Source #
Instance details Defined in Fadno.Notation Methods fmap :: (a -> b) -> Bar a -> Bar b # (<$) :: a -> Bar b -> Bar a #
Monoid (Bar n) Source #
Instance details Defined in Fadno.Notation Methods mempty :: Bar n # mappend :: Bar n -> Bar n -> Bar n # mconcat :: [Bar n] -> Bar n #
Semigroup (Bar n) Source #
Instance details Defined in Fadno.Notation Methods (<>) :: Bar n -> Bar n -> Bar n # sconcat :: NonEmpty (Bar n) -> Bar n # stimes :: Integral b => b -> Bar n -> Bar n #
Generic (Bar n) Source #
Instance details Defined in Fadno.Notation Associated Types type Rep (Bar n) :: Type -> Type # Methods from :: Bar n -> Rep (Bar n) x # to :: Rep (Bar n) x -> Bar n #
Show n => Show (Bar n) Source #
Instance details Defined in Fadno.Notation Methods showsPrec :: Int -> Bar n -> ShowS # show :: Bar n -> String # showList :: [Bar n] -> ShowS #
Default (Bar n) Source #
Instance details Defined in Fadno.Notation Methods def :: Bar n #
HasBarline (Bar n) Source #
Instance details Defined in Fadno.Notation Methods barline :: Lens' (Bar n) (Maybe Barline) Source #
HasClef (Bar n) Source #
Instance details Defined in Fadno.Notation Methods clef :: Lens' (Bar n) (Maybe Clef) Source #
HasDirection (Bar n) Source #
Instance details Defined in Fadno.Notation Methods direction :: Lens' (Bar n) (Maybe Direction) Source #
HasRehearsalMark (Bar n) Source #
Instance details Defined in Fadno.Notation Methods rehearsalMark :: Lens' (Bar n) (Maybe RehearsalMark) Source #
HasRepeats (Bar n) Source #
Instance details Defined in Fadno.Notation Methods repeats :: Lens' (Bar n) (Maybe Repeats) Source #
HasTimeSignature (Bar n) Source #
Instance details Defined in Fadno.Notation Methods timeSignature :: Lens' (Bar n) (Maybe TimeSignature) Source #
Eq n => Eq (Bar n) Source #
Instance details Defined in Fadno.Notation Methods (==) :: Bar n -> Bar n -> Bool # (/=) :: Bar n -> Bar n -> Bool #
Cons (Bar n) (Bar n) n n Source #
Instance details Defined in Fadno.Notation Methods _Cons :: Prism (Bar n) (Bar n) (n, Bar n) (n, Bar n) #
Snoc (Bar n) (Bar n) n n Source #
Instance details Defined in Fadno.Notation Methods _Snoc :: Prism (Bar n) (Bar n) (Bar n, n) (Bar n, n) #
type Rep (Bar n) Source #
Instance details Defined in Fadno.Notation type Rep (Bar n) = D1 ('MetaData "Bar" "Fadno.Notation" "fadno-1.1.9.1-Eru2Yc86rln9jozd2rhNAS" 'False) (C1 ('MetaCons "Bar" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_bNotes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq n)) :: (S1 ('MetaSel ('Just "_bRehearsalMark") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe RehearsalMark)) :: S1 ('MetaSel ('Just "_bDirection") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Direction)))) :: ((S1 ('MetaSel ('Just "_bBarline") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Barline)) :: S1 ('MetaSel ('Just "_bRepeats") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Repeats))) :: (S1 ('MetaSel ('Just "_bTimeSignature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TimeSignature)) :: S1 ('MetaSel ('Just "_bClef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Clef))))))

bTimeSignature :: forall n. Lens' (Bar n) (Maybe TimeSignature) Source #

bRepeats :: forall n. Lens' (Bar n) (Maybe Repeats) Source #

bRehearsalMark :: forall n. Lens' (Bar n) (Maybe RehearsalMark) Source #

bNotes :: forall n n. Lens (Bar n) (Bar n) (Seq n) (Seq n) Source #

bDirection :: forall n. Lens' (Bar n) (Maybe Direction) Source #

bClef :: forall n. Lens' (Bar n) (Maybe Clef) Source #

bBarline :: forall n. Lens' (Bar n) (Maybe Barline) Source #

bar :: [n] -> Bar n Source #

Bar smart ctor, used in Show.

testBar :: Bar (Note [Int] Int) Source #