{-# LANGUAGE CPP #-}
module Foundation.Collection.Element
( Element
) where
import Basement.Compat.Base
import Basement.Block (Block)
import Basement.UArray (UArray)
import Basement.BoxedArray (Array)
import Basement.String (String)
import Basement.Types.AsciiString (AsciiString)
import Basement.Types.Char7 (Char7)
import Basement.NonEmpty
#if MIN_VERSION_base(4,9,0)
import Basement.Sized.Block (BlockN)
import Basement.Sized.List (ListN)
#endif
type family Element container
type instance Element [a] = a
type instance Element (Block ty) = ty
type instance Element (UArray ty) = ty
type instance Element (Array ty) = ty
type instance Element String = Char
type instance Element AsciiString = Char7
type instance Element (NonEmpty a) = Element a
#if MIN_VERSION_base(4,9,0)
type instance Element (BlockN n ty) = ty
type instance Element (ListN n a) = a
#endif