{-# OPTIONS --cubical-compatible #-}
module Class.Foldable.Instances where

open import Class.Prelude
open import Class.Functor
open import Class.Semigroup
open import Class.Monoid
open import Class.Foldable.Core

instance
  Foldable-List : Foldable List
  Foldable-List .fold = foldr _◇_ ε

  Foldable-Maybe : Foldable Maybe
  Foldable-Maybe .fold = fromMaybe ε

  Foldable-List⁺ : Foldable List⁺
  Foldable-List⁺ .fold (x ∷ xs) = x ◇ fold xs