PAKCS
Exported names: Imported modules:

Module CTrack

Summary of exported operations:

trackName :: TrackInfo -> String   
trackTicks :: TrackInfo -> FMI   
eticks :: Track -> FMI   
setTicks :: FMI -> Track -> Track   
trackInfo :: Track -> TrackInfo   
readTrack :: String -> IO Track   
readTrack' :: String -> IO FMI   
writeTrack :: String -> FMI -> Int -> IO ()   
getTrackFilename :: String -> String   
getTrackName :: String -> String   
extractIOTrack :: IO Track -> Track   
initTrack :: String -> Int -> FMI -> Track   

Exported datatypes:

Track

Constructors:

TrackInfo

Constructors:

Exported operations:

trackName :: TrackInfo -> String   

Further infos:
  • solution complete, i.e., able to compute all solutions

trackTicks :: TrackInfo -> FMI   

Further infos:
  • solution complete, i.e., able to compute all solutions

eticks :: Track -> FMI   

Further infos:
  • solution complete, i.e., able to compute all solutions

setTicks :: FMI -> Track -> Track   

Further infos:
  • solution complete, i.e., able to compute all solutions

trackInfo :: Track -> TrackInfo   

Further infos:
  • solution complete, i.e., able to compute all solutions

readTrack :: String -> IO Track   

readTrack' :: String -> IO FMI   

writeTrack :: String -> FMI -> Int -> IO ()   

getTrackFilename :: String -> String   

getTrackName :: String -> String   

extractIOTrack :: IO Track -> Track   

initTrack :: String -> Int -> FMI -> Track   

Further infos:
  • solution complete, i.e., able to compute all solutions