------------------------------------------------------------------------
-- The Agda standard library
--
-- Typeclass instances for Stream
------------------------------------------------------------------------

{-# OPTIONS --without-K --safe --sized-types #-}

module Codata.Stream.Instances where

open import Codata.Stream.Categorical

instance
  streamFunctor = functor
  streamApplicative = applicative
  streamComonad = comonad