SignalDiagrams.hs

module SignalDiagrams where

import Shared (linearDiagramVerticalPadding,arcMidpoint,showDoubleTruncated,showValueMapTruncatedDouble,lineOfText)
import Diagrams.Prelude
import Diagrams.Backend.SVG.CmdLine
import qualified PatternExpressions as PE
import qualified LinearDiagrams.LinearDiagrams as Lin
import qualified LinearDiagrams.Arc as A
import qualified LinearDiagrams.Curve as C
import qualified Sound.Tidal.Context as T

sigEvaluatesAtMiddle :: Diagram B
sigEvaluatesAtMiddle =
    vsep linearDiagramVerticalPadding [
        (C.curveDiagramLabeledPoint show PE.sigEvaluatesAtMiddleFunctionExpr (arcMidpoint PE.sigEvaluatesAtMiddleArcExpr)
        <> C.curveDiagram PE.sigEvaluatesAtMiddleFunctionExpr 10)
        ,A.arcDiagram [PE.sigEvaluatesAtMiddleArcExpr]
        ]

sigToSetPanning :: Diagram B
sigToSetPanning =
    vsep linearDiagramVerticalPadding [
        (mconcat labeledpoints
        <> C.curveDiagram PE.sigToSetPanningFunctionExpr 1)
        ,strut (unitY * 0.01)
        ,lineOfText PE.sigToSetPanningSegmentedCurveStringExpr
        ,Lin.diagramFromWholes showDoubleTruncated PE.sigToSetPanningSegmentedCurveExpr 1
        ,strut (unitY * 0.01)
        ,lineOfText PE.sigToSetPanningStringExpr
        ,Lin.diagramFromWholes showValueMapTruncatedDouble PE.sigToSetPanningExpr 1
        ]
    where
        segmentevents = T.queryArc PE.sigToSetPanningSegmentedCurveExpr (T.Arc 0 1)
        arcs = map T.eventPart segmentevents
        labeledpoints = map curvePointFromArc arcs
        curvePointFromArc :: T.Arc -> Diagram B
        curvePointFromArc thearc = C.curveDiagramLabeledPoint showDoubleTruncated PE.sigToSetPanningFunctionExpr (arcMidpoint thearc)