| Safe Haskell | Safe-Inferred |
|---|
Solkattu.Practice
Contents
Description
Utilities to randomly select things to practice, and save what I practiced, for a flashcard-esque system.
Synopsis
- recentDates :: Int -> IO ()
- searchName :: Text -> IO ()
- types :: [Text]
- randomTypes :: [Text] -> IO ()
- realize :: Int -> IO ()
- realizep :: Int -> IO ()
- realizeM :: Format.Abstraction -> Korvai.Score -> IO ()
- realizeKon :: Int -> IO ()
- practiced :: Int -> BPM -> IO ()
- practicedName :: Text -> BPM -> IO ()
- type BPM = Int
- get :: Int -> Korvai.Score
- practicedDb :: FilePath
- pick :: [a] -> IO (Maybe a)
- data Practiced = Practiced {}
- savePracticed :: [Practiced] -> IO ()
- loadPracticed :: IO [Practiced]
- display :: IO ()
- localDay :: TimeZone -> UTCTime -> Day
Documentation
recentDates :: Int -> IO () Source #
The number of date groups starting from the most recent.
searchName :: Text -> IO () Source #
randomTypes :: [Text] -> IO () Source #
Pick a random korvai with any of the given types.
realizeM :: Format.Abstraction -> Korvai.Score -> IO () Source #
realizeKon :: Int -> IO () Source #
practiced :: Int -> BPM -> IO () Source #
Mark these korvais as practiced. Using the index is awkward because it's the same type as BPM.
get :: Int -> Korvai.Score Source #
practiced db
Instances
| Generics.Generic Practiced Source # | |
Defined in Solkattu.Practice Associated Types type Generics.Rep Practiced :: Type -> Type # | |
| Show Practiced Source # | |
| Eq Practiced Source # | |
| FromJSON Practiced Source # | |
| ToJSON Practiced Source # | |
Defined in Solkattu.Practice | |
| type Generics.Rep Practiced Source # | |
Defined in Solkattu.Practice type Generics.Rep Practiced = Generics.D1 ('Generics.MetaData "Practiced" "Solkattu.Practice" "main" 'False) (Generics.C1 ('Generics.MetaCons "Practiced" 'Generics.PrefixI 'True) (Generics.S1 ('Generics.MetaSel ('Just "name") 'Generics.NoSourceUnpackedness 'Generics.NoSourceStrictness 'Generics.DecidedLazy) (Generics.Rec0 Text) Generics.:*: (Generics.S1 ('Generics.MetaSel ('Just "date") 'Generics.NoSourceUnpackedness 'Generics.NoSourceStrictness 'Generics.DecidedLazy) (Generics.Rec0 UTCTime) Generics.:*: Generics.S1 ('Generics.MetaSel ('Just "bpm") 'Generics.NoSourceUnpackedness 'Generics.NoSourceStrictness 'Generics.DecidedLazy) (Generics.Rec0 (Maybe BPM))))) | |
savePracticed :: [Practiced] -> IO () Source #
loadPracticed :: IO [Practiced] Source #