Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- getUseEscapeCode :: IO Bool
- addRecent :: FilePath -> IO ()
- cardSelectorState :: IO State
- mainMenuState :: State
- safeHead :: [a] -> Maybe a
- cardsState :: Bool -> FilePath -> [Card] -> [Card] -> [Int] -> IO State
- cardsWithOptionsStateM :: (MonadState GlobalState m, MonadIO m) => FilePath -> [Card] -> m State
- cardsWithOptionsState :: GlobalState -> FilePath -> [Card] -> IO State
- infoState :: State
- fileBrowserState :: IO State
- entryFilter :: Bool -> FileInfo -> Bool
- parameterState :: Parameters -> FilePath -> [Card] -> State
- runBrickFlashcards :: GlobalState -> IO ()
- data GlobalState = GlobalState {}
- type GenIO = Gen (PrimState IO)
- data Chunk = Chunk Int Int
- data Card
- data External
- data ImportType
- data ImportOpts = ImportOpts {}
- data Parameters = Parameters {}
- goToState_ :: GlobalState -> State -> GlobalState
- cardsToString :: [Card] -> String
- parseImportInput :: ImportOpts -> String -> Either String [Card]
- defaultParameters :: Parameters
Documentation
cardsWithOptionsStateM :: (MonadState GlobalState m, MonadIO m) => FilePath -> [Card] -> m State Source #
cardsWithOptionsState :: GlobalState -> FilePath -> [Card] -> IO State Source #
parameterState :: Parameters -> FilePath -> [Card] -> State Source #
runBrickFlashcards :: GlobalState -> IO () Source #
Instances
data ImportType Source #
Instances
Read ImportType Source # | |
Defined in Import readsPrec :: Int -> ReadS ImportType # readList :: ReadS [ImportType] # readPrec :: ReadPrec ImportType # readListPrec :: ReadPrec [ImportType] # |
data ImportOpts Source #
data Parameters Source #
goToState_ :: GlobalState -> State -> GlobalState Source #
cardsToString :: [Card] -> String Source #
parseImportInput :: ImportOpts -> String -> Either String [Card] Source #