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 -> llInstances
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 -> NoteInstances
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 -> NListInstances
(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 :: LabelInstances
(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 :: LabelInstances
(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 -> LListInstances
(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