Module
Emo8.Parser.NConstraint
- Package
- purescript-emo8
- Repository
- opyapeus/purescript-emo8
#NConstraint Source
class NConstraint (s :: Symbol)
Instances
(ToNList s nl, ExtractNR nl ll, UpToThreeNote ll, ExtractNVR nl ll', UpTo13Length ll') => NConstraint s
#UpToThreeNote Source
class UpToThreeNote (ll :: LList)
Instances
UpToThreeNote LNil
(UpToThreeNote ll) => UpToThreeNote (LCons N ll)
(UpToThreeNote ll) => UpToThreeNote (LCons S (LCons N ll))
(UpToThreeNote ll) => UpToThreeNote (LCons S (LCons S (LCons N ll)))
(UpToThreeNote ll) => UpToThreeNote (LCons S (LCons S (LCons S (LCons N ll))))
(UpToThreeNote ll, Fail (Text "The maximum note count is 3 per line.")) => UpToThreeNote (LCons S (LCons S (LCons S (LCons S ll))))
#ExtractNVR Source
class ExtractNVR (nl :: NList) (ll :: LList) | nl -> ll
Instances
ExtractNVR NNil LNil
(ExtractNVR nl ll) => ExtractNVR (NCons Note nl) (LCons S ll)
(ExtractNVR nl ll) => ExtractNVR (NCons Vacancy nl) (LCons S ll)
(ExtractNVR nl ll) => ExtractNVR (NCons (Rest Space) nl) ll
(ExtractNVR nl ll) => ExtractNVR (NCons (Rest Return) nl) (LCons N ll)
#UpTo13Length Source
class UpTo13Length (ll :: LList)
Instances
UpTo13Length LNil
(UpTo13Length ll) => UpTo13Length (LCons N ll)
(UpTo13Length ll) => UpTo13Length (LCons S (LCons N ll))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons N ll)))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons N ll))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons N ll)))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll)))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll)))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll))))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll)))))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll))))))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll)))))))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll))))))))))))))
(UpTo13Length ll, Fail (Text "The maximum score length is 13 per line.")) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S ll))))))))))))))
#Rest Source
data Rest :: SpecChar -> Note
Instances
MatchNote " " (Rest Space)
MatchNote "\n" (Rest Return)
(ExtractNR nl ll) => ExtractNR (NCons (Rest Space) nl) ll
(ExtractNR nl ll) => ExtractNR (NCons (Rest Return) nl) (LCons N ll)
(ExtractNVR nl ll) => ExtractNVR (NCons (Rest Space) nl) ll
(ExtractNVR nl ll) => ExtractNVR (NCons (Rest Return) nl) (LCons N ll)
#NCons Source
data NCons :: Note -> NList -> NList
Instances
(Cons head tail union, ToNList tail nl, MatchNote head out) => ToNList union (NCons out nl)
(ExtractNR nl ll) => ExtractNR (NCons Note nl) (LCons S ll)
(ExtractNR nl ll) => ExtractNR (NCons Vacancy nl) ll
(ExtractNR nl ll) => ExtractNR (NCons (Rest Space) nl) ll
(ExtractNR nl ll) => ExtractNR (NCons (Rest Return) nl) (LCons N ll)
(ExtractNVR nl ll) => ExtractNVR (NCons Note nl) (LCons S ll)
(ExtractNVR nl ll) => ExtractNVR (NCons Vacancy nl) (LCons S ll)
(ExtractNVR nl ll) => ExtractNVR (NCons (Rest Space) nl) ll
(ExtractNVR nl ll) => ExtractNVR (NCons (Rest Return) nl) (LCons N ll)
#S Source
data S :: Label
Instances
(ExtractNR nl ll) => ExtractNR (NCons Note nl) (LCons S ll)
(UpToThreeNote ll) => UpToThreeNote (LCons S (LCons N ll))
(UpToThreeNote ll) => UpToThreeNote (LCons S (LCons S (LCons N ll)))
(UpToThreeNote ll) => UpToThreeNote (LCons S (LCons S (LCons S (LCons N ll))))
(UpToThreeNote ll, Fail (Text "The maximum note count is 3 per line.")) => UpToThreeNote (LCons S (LCons S (LCons S (LCons S ll))))
(ExtractNVR nl ll) => ExtractNVR (NCons Note nl) (LCons S ll)
(ExtractNVR nl ll) => ExtractNVR (NCons Vacancy nl) (LCons S ll)
(UpTo13Length ll) => UpTo13Length (LCons S (LCons N ll))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons N ll)))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons N ll))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons N ll)))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll)))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll)))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll))))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll)))))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll))))))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll)))))))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll))))))))))))))
(UpTo13Length ll, Fail (Text "The maximum score length is 13 per line.")) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S ll))))))))))))))
#N Source
data N :: Label
Instances
(ExtractNR nl ll) => ExtractNR (NCons (Rest Return) nl) (LCons N ll)
(UpToThreeNote ll) => UpToThreeNote (LCons N ll)
(UpToThreeNote ll) => UpToThreeNote (LCons S (LCons N ll))
(UpToThreeNote ll) => UpToThreeNote (LCons S (LCons S (LCons N ll)))
(UpToThreeNote ll) => UpToThreeNote (LCons S (LCons S (LCons S (LCons N ll))))
(ExtractNVR nl ll) => ExtractNVR (NCons (Rest Return) nl) (LCons N ll)
(UpTo13Length ll) => UpTo13Length (LCons N ll)
(UpTo13Length ll) => UpTo13Length (LCons S (LCons N ll))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons N ll)))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons N ll))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons N ll)))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll)))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll)))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll))))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll)))))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll))))))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll)))))))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll))))))))))))))
#LCons Source
data LCons :: Label -> LList -> LList
Instances
(ExtractNR nl ll) => ExtractNR (NCons Note nl) (LCons S ll)
(ExtractNR nl ll) => ExtractNR (NCons (Rest Return) nl) (LCons N ll)
(UpToThreeNote ll) => UpToThreeNote (LCons N ll)
(UpToThreeNote ll) => UpToThreeNote (LCons S (LCons N ll))
(UpToThreeNote ll) => UpToThreeNote (LCons S (LCons S (LCons N ll)))
(UpToThreeNote ll) => UpToThreeNote (LCons S (LCons S (LCons S (LCons N ll))))
(UpToThreeNote ll, Fail (Text "The maximum note count is 3 per line.")) => UpToThreeNote (LCons S (LCons S (LCons S (LCons S ll))))
(ExtractNVR nl ll) => ExtractNVR (NCons Note nl) (LCons S ll)
(ExtractNVR nl ll) => ExtractNVR (NCons Vacancy nl) (LCons S ll)
(ExtractNVR nl ll) => ExtractNVR (NCons (Rest Return) nl) (LCons N ll)
(UpTo13Length ll) => UpTo13Length (LCons N ll)
(UpTo13Length ll) => UpTo13Length (LCons S (LCons N ll))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons N ll)))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons N ll))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons N ll)))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll)))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll)))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll))))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll)))))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll))))))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll)))))))))))))
(UpTo13Length ll) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons N ll))))))))))))))
(UpTo13Length ll, Fail (Text "The maximum score length is 13 per line.")) => UpTo13Length (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S (LCons S ll))))))))))))))
- Modules
- Emo8
- Emo8.
Data. Color - Emo8.
Data. Dir - Emo8.
Data. Draw - Emo8.
Data. Emoji - Emo8.
Data. Input - Emo8.
Data. Key - Emo8.
Data. Note - Emo8.
Data. Sound - Emo8.
Data. Tone - Emo8.
Data. Update - Emo8.
FFI. Emo8Retina - Emo8.
FFI. LocalStorage - Emo8.
FFI. TextBaseline - Emo8.
Game - Emo8.
Game. Draw - Emo8.
Game. Sound - Emo8.
Game. Update - Emo8.
GameBoot - Emo8.
GameDev - Emo8.
GameWithBoot - Emo8.
Input - Emo8.
Input. Direction - Emo8.
Input. Keyboard - Emo8.
Input. Merged - Emo8.
Input. Swipe - Emo8.
Input. Touch - Emo8.
Parser - Emo8.
Parser. EConvert - Emo8.
Parser. NConstraint - Emo8.
Parser. NConvert - Emo8.
Parser. Type - Emo8.
Type - Emo8.
Util. Collide - Emo8.
Util. Config - Emo8.
Util. Input - Emo8.
Util. List - Emo8.
Util. State