Ether.Internal

data Tagged k s b

type family TagsK (p :: Type) :: [Type]

type family Tags (p :: Type) :: HList (TagsK p)

class HasLens tag outer inner

type LensLike f s t a b

type Lens s t a b

type Lens' s a

data ReifiedLens s t a b

type ReifiedLens' s a

view

over

data HList xs

type KindOf a

data TAGGED e t

type family HandleSuper (eff :: keff) (p :: kp) (trans :: K_Trans) :: Constraint

type family HandleConstraint (eff :: keff) (p :: kp) (trans :: K_Trans) (m :: K_Monad) :: Constraint

class Handle eff p trans

makeTupleInstancesHasLens