------------------------------------------------------------------------
-- The Agda standard library
--
-- Typeclass instances for List⁺
------------------------------------------------------------------------

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

module Data.List.NonEmpty.Instances where

open import Data.List.NonEmpty.Categorical

instance
  nonEmptyListFunctor = functor
  nonEmptyListApplicative = applicative
  nonEmptyListMonad = monad
  nonEmptyListComonad = comonad
  nonEmptyListMonadT = λ {ℓ} {M} {{inst}} → monadT {ℓ} {M} inst