Karya, built on 2023-08-29T07:47:28 (patch 7a412d5d6ba4968ca4155ef276a062ccdeb9109a)
Safe HaskellSafe-Inferred

Ui.Zoom

Description

The Zoom type.

Synopsis

Documentation

data Zoom Source #

View zoom and time scroll offset.

Constructors

Zoom 

Instances

Instances details
Read Zoom Source # 
Instance details

Defined in Ui.Zoom

Show Zoom Source # 
Instance details

Defined in Ui.Zoom

Methods

showsPrec :: Int -> Zoom -> ShowS #

show :: Zoom -> String #

showList :: [Zoom] -> ShowS #

CStorable Zoom Source # 
Instance details

Defined in Ui.Zoom

Methods

sizeOf :: Zoom -> Int #

alignment :: Zoom -> Int #

peekElemOff :: Ptr Zoom -> Int -> IO Zoom #

pokeElemOff :: Ptr Zoom -> Int -> Zoom -> IO () #

peekByteOff :: Ptr b -> Int -> IO Zoom #

pokeByteOff :: Ptr b -> Int -> Zoom -> IO () #

peek :: Ptr Zoom -> IO Zoom #

poke :: Ptr Zoom -> Zoom -> IO () #

Eq Zoom Source # 
Instance details

Defined in Ui.Zoom

Methods

(==) :: Zoom -> Zoom -> Bool #

(/=) :: Zoom -> Zoom -> Bool #

Ord Zoom Source # 
Instance details

Defined in Ui.Zoom

Methods

compare :: Zoom -> Zoom -> Ordering #

(<) :: Zoom -> Zoom -> Bool #

(<=) :: Zoom -> Zoom -> Bool #

(>) :: Zoom -> Zoom -> Bool #

(>=) :: Zoom -> Zoom -> Bool #

max :: Zoom -> Zoom -> Zoom #

min :: Zoom -> Zoom -> Zoom #

Pretty Zoom Source # 
Instance details

Defined in Ui.Zoom

Serialize Zoom Source # 
Instance details

Defined in Cmd.Serialize

to_pixels :: Zoom -> ScoreTime.TrackTime -> Int Source #

Convert a position at a given zoom factor to a pixel position. Doesn't take the zoom offset into account.

to_time :: Zoom -> Int -> ScoreTime.TrackTime Source #

Convert a pixel position to a TrackTime at the given zoom factor. Doesn't take the zoom offset into account.