Safe Haskell	Safe-Inferred

Derive.Stack

Contents

more specialized utils
ui

Synopsis

data Stack
empty :: Stack
length :: Stack -> Int
from_outermost :: [Frame] -> Stack
from_innermost :: [Frame] -> Stack
block :: Id.BlockId -> Stack
call :: Text -> Stack
add :: Frame -> Stack -> Stack
member :: Frame -> Stack -> Bool
outermost :: Stack -> [Frame]
innermost :: Stack -> [Frame]
block_of :: Frame -> Maybe Id.BlockId
track_of :: Frame -> Maybe Id.TrackId
region_of :: Frame -> Maybe (ScoreTime.TrackTime, ScoreTime.TrackTime)
call_of :: Frame -> Maybe Text
block_track_of :: Stack -> Maybe (Id.BlockId, Id.TrackId)
block_tracks_of :: Stack -> [(Id.BlockId, [Id.TrackId])]
block_track_region_of :: Stack -> Maybe (Id.BlockId, Id.TrackId, (ScoreTime.TrackTime, ScoreTime.TrackTime))
track_ids_of :: Stack -> [Id.TrackId]
match :: Pattern -> Stack -> Bool
data Frame
- = Block !Id.BlockId
- | Track !Id.TrackId
- | Region !ScoreTime.TrackTime !ScoreTime.TrackTime
- | Call !Text
- | Serial !Serial
type Serial = Int
format_ui :: Stack -> Doc
pretty_ui :: Stack -> Text
pretty_ui_ :: Stack -> Text
pretty_ui_inner :: Stack -> Maybe Text
log_ui_frame :: UiFrame -> Text
track_regions :: Stack -> Id.TrackId -> [Ranges.Ranges ScoreTime.TrackTime]
type UiFrame = (Maybe Id.BlockId, Maybe Id.TrackId, Maybe (ScoreTime.TrackTime, ScoreTime.TrackTime))
to_ui :: Stack -> [UiFrame]
to_ui_innermost :: Stack -> [UiFrame]
unparse_ui_frame :: UiFrame -> Text
unparse_ui_frame_ :: UiFrame -> Text
parse_ui_frame :: String -> Maybe UiFrame

Documentation

data Stack Source #

The Stack is read in both inner -> outer and outer -> inner order. Since it's always modified at the innermost end, I keep it in inner -> outer order.

I originally used Data.Sequence but it generates more garbage and I couldn't figure out how to stop that from happening.

Instances

Instances details

Read.Read Stack Source #
Instance details Defined in Derive.Stack Methods readsPrec :: Int -> ReadS Stack # readList :: ReadS [Stack] # readPrec :: ReadPrec Stack # readListPrec :: ReadPrec [Stack] #
Show Stack Source #
Instance details Defined in Derive.Stack Methods showsPrec :: Int -> Stack -> ShowS # show :: Stack -> String # showList :: [Stack] -> ShowS #
DeepSeq.NFData Stack Source #
Instance details Defined in Derive.Stack Methods rnf :: Stack -> () #
Eq Stack Source #
Instance details Defined in Derive.Stack Methods (==) :: Stack -> Stack -> Bool # (/=) :: Stack -> Stack -> Bool #
Ord Stack Source #
Instance details Defined in Derive.Stack Methods compare :: Stack -> Stack -> Ordering # (<) :: Stack -> Stack -> Bool # (<=) :: Stack -> Stack -> Bool # (>) :: Stack -> Stack -> Bool # (>=) :: Stack -> Stack -> Bool # max :: Stack -> Stack -> Stack # min :: Stack -> Stack -> Stack #
Pretty.Pretty Stack Source #
Instance details Defined in Derive.Stack Methods pretty :: Stack -> Text Source # format :: Stack -> Doc Source # formatList :: [Stack] -> Doc Source #
Serialize.Serialize Stack Source #
Instance details Defined in Derive.Stack Methods put :: Putter Stack Source # get :: Serialize.Get Stack Source #
FromJSON Stack Source #
Instance details Defined in Derive.Stack Methods parseJSON :: Value -> Parser Stack # parseJSONList :: Value -> Parser [Stack] #
ToJSON Stack Source #
Instance details Defined in Derive.Stack Methods toJSON :: Stack -> Value # toEncoding :: Stack -> Encoding # toJSONList :: [Stack] -> Value # toEncodingList :: [Stack] -> Encoding #

empty :: Stack Source #

length :: Stack -> Int Source #

from_outermost :: [Frame] -> Stack Source #

Construct a Stack from frames starting with the outermost and ending with the innermost.

from_innermost :: [Frame] -> Stack Source #

Construct a Stack from frames starting with the innermost and ending with the outermost.

block :: Id.BlockId -> Stack Source #

Make a Stack with a single block.

call :: Text -> Stack Source #

Make a Stack with a single call.

add :: Frame -> Stack -> Stack Source #

Add the frame to the innermost end of the stack.

member :: Frame -> Stack -> Bool Source #

outermost :: Stack -> [Frame] Source #

The stack, starting with the outermost call and ending with the innermost. All display should use this order.

innermost :: Stack -> [Frame] Source #

The stack, starting with the innermost call and ending with the outermost.

block_of :: Frame -> Maybe Id.BlockId Source #

track_of :: Frame -> Maybe Id.TrackId Source #

region_of :: Frame -> Maybe (ScoreTime.TrackTime, ScoreTime.TrackTime) Source #

call_of :: Frame -> Maybe Text Source #

block_track_of :: Stack -> Maybe (Id.BlockId, Id.TrackId) Source #

Walk up the stack to discover the innermost TrackId, then BlockId.

block_tracks_of :: Stack -> [(Id.BlockId, [Id.TrackId])] Source #

Get each block and the tracks under it, starting from the innermost.

block_track_region_of :: Stack -> Maybe (Id.BlockId, Id.TrackId, (ScoreTime.TrackTime, ScoreTime.TrackTime)) Source #

Walk up the stack to discover the innermost Region, TrackId, then BlockId.

track_ids_of :: Stack -> [Id.TrackId] Source #

match :: Pattern -> Stack -> Bool Source #

data Frame Source #

Constructors

Block !Id.BlockId
Track !Id.TrackId
Region !ScoreTime.TrackTime !ScoreTime.TrackTime
Call !Text
Serial !Serial

Instances

Instances details

Read.Read Frame Source #
Instance details Defined in Derive.Stack Methods readsPrec :: Int -> ReadS Frame # readList :: ReadS [Frame] # readPrec :: ReadPrec Frame # readListPrec :: ReadPrec [Frame] #
Show Frame Source #
Instance details Defined in Derive.Stack Methods showsPrec :: Int -> Frame -> ShowS # show :: Frame -> String # showList :: [Frame] -> ShowS #
DeepSeq.NFData Frame Source #
Instance details Defined in Derive.Stack Methods rnf :: Frame -> () #
Eq Frame Source #
Instance details Defined in Derive.Stack Methods (==) :: Frame -> Frame -> Bool # (/=) :: Frame -> Frame -> Bool #
Ord Frame Source #
Instance details Defined in Derive.Stack Methods compare :: Frame -> Frame -> Ordering # (<) :: Frame -> Frame -> Bool # (<=) :: Frame -> Frame -> Bool # (>) :: Frame -> Frame -> Bool # (>=) :: Frame -> Frame -> Bool # max :: Frame -> Frame -> Frame # min :: Frame -> Frame -> Frame #
Pretty.Pretty Frame Source #
Instance details Defined in Derive.Stack Methods pretty :: Frame -> Text Source # format :: Frame -> Doc Source # formatList :: [Frame] -> Doc Source #
Seed.Seed Frame Source #
Instance details Defined in Derive.Stack Methods to_seed :: Int -> Frame -> Int Source #
Serialize.Serialize Frame Source #
Instance details Defined in Derive.Stack Methods put :: Putter Frame Source # get :: Serialize.Get Frame Source #
FromJSON Frame Source #
Instance details Defined in Derive.Stack Methods parseJSON :: Value -> Parser Frame # parseJSONList :: Value -> Parser [Frame] #
ToJSON Frame Source #
Instance details Defined in Derive.Stack Methods toJSON :: Frame -> Value # toEncoding :: Frame -> Encoding # toJSONList :: [Frame] -> Value # toEncodingList :: [Frame] -> Encoding #

type Serial = Int Source #

The Stack is used as a unique key for a unique call of a generator. For instance, the cache uses it to cache generator output, and the random mechanism uses it to permute seed. Since a single track event may call multiple generators internally, each one is given a unique serial number.

format_ui :: Stack -> Doc Source #

pretty_ui :: Stack -> Text Source #

pretty_ui_ :: Stack -> Text Source #

pretty_ui_inner :: Stack -> Maybe Text Source #

Loggable msg with the last position of the stack.

log_ui_frame :: UiFrame -> Text Source #

Format a UiFrame for logging. This means it wraps it in {s "..."}, which causes logview to make it clickable, which will highlight the stack location.

more specialized utils

track_regions :: Stack -> Id.TrackId -> [Ranges.Ranges ScoreTime.TrackTime] Source #

Get the Regions associated with a track in a given stack. It's a little tricky because track level calls will go in between the track and the region, e.g. [track, call, call, region].

ui

type UiFrame = (Maybe Id.BlockId, Maybe Id.TrackId, Maybe (ScoreTime.TrackTime, ScoreTime.TrackTime)) Source #

This is an abbreviation of the stack that only has elements that are visible in the UI.

(block_id, track_id, (event_start, event_end))

to_ui :: Stack -> [UiFrame] Source #

UiFrames are returned in outermost to innermost order.

to_ui_innermost :: Stack -> [UiFrame] Source #

unparse_ui_frame :: UiFrame -> Text Source #

These functions are used by LogView and Cmd.Repl.*, but are here since both places import this module. Examples:

"untitled/b0 untitled/b0.t2 0-.25"
"untitled/b0 foo/bar *"
"untitled/b0 * *"

unparse_ui_frame_ :: UiFrame -> Text Source #

This is like unparse_ui_frame except it omits the namespaces for a less cluttered but potentially ambiguous output.

parse_ui_frame :: String -> Maybe UiFrame Source #