module Internal.Signal.Segmented (

    -- * Segmented signal type
    SSignal (SSignal),

    -- * Introduction
    fromInitAndUpdate

) where

    -- Internal
    import {-# SOURCE #-} Internal.Signal.Discrete as DSignal

    -- * Segmented signal type
    data SSignal era val = SSignal val (DSignal era val)

    instance Functor (SSignal era)

    -- * Introduction
    fromInitAndUpdate :: val -> DSignal era val -> SSignal era val