• Home
• dev.continuously.libretto
• libretto-examples_3
• 0.3.2
• source code
• TvInterface.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

libretto.examples.tv.TvInterface.scala Maven / Gradle / Ivy

package libretto.examples.tv

import libretto.scaletto.StarterKit.*
import libretto.stream.scaletto.DefaultStreams.*

object TvInterface {
  type Tv = Rec[TvF]

  type TvF[Tv] =
    ChannelsF[Tv] |&| TurnOff

  type TurnOff =
    Done

  type ChannelsF[Tv] =
    Val[TvChannel] =⚬ TvStreamF[Tv]

  type Channels = ChannelsF[Tv]

  type TvStreamF[Tv] =
    ValSourceT[Tv, VideoFrame]

  type TvStream = TvStreamF[Tv]

  object Tv {
    def createProvider[A](
      onWatch: A -⚬ Channels,
      onTurnOff: A -⚬ Done,
    ): A -⚬ Tv =
      choice(onWatch, onTurnOff) > pack[TvF]

    def watch: Tv -⚬ Channels =
      unpack > chooseL

    def turnOff: Tv -⚬ Done =
      unpack > chooseR
  }
}