Modulepolysemy-1.9.2.0

Polysemy.Tagged

valueretag :: Member (Tagged k4 e) r => Sem (Tagged k3 e ': r) a -> Sem r a

valuetag :: Member (Tagged k2 e) r => Sem (e ': r) a -> Sem r a

valuetagged :: Sem (e ': r) a -> Sem (Tagged k2 e ': r) a

valueuntag :: Sem (Tagged k2 e ': r) a -> Sem (e ': r) a

newtypenewtype Tagged (k3 :: k) (e :: k1 -> k2 -> Type) (m :: k1) (a :: k2) where