pandora-0.5.5: Pandora/Paradigm/Structure/Modification/Nonempty.hs

module Pandora.Paradigm.Structure.Modification.Nonempty where

import Pandora.Paradigm.Schemes (type (<::>))
import Pandora.Paradigm.Primary.Functor.Maybe (Maybe)
import Pandora.Paradigm.Primary.Transformer.Construction (Construction)

-- | At least one element data structure
type family Nonempty (structure :: * -> *) where
	Nonempty (Maybe <::> Construction t) = Construction t