Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
type family Attached (structure :: Type -> Type) (extension :: Type -> Type) (value :: Type) :: Type where ... Source #
Attached (Cofree t) extension value = Cofree t (extension value) |
type family Embedded (structure :: Type -> Type) (extension :: Type -> Type) (value :: Type) :: Type where ... Source #
Embedded (Cofree t) extension value = Cofree (extension :.: t) value |
type family Injected (structure :: Type -> Type) (extension :: Type -> Type) (value :: Type) :: Type where ... Source #
Injected (Cofree t) extension value = Cofree (t :.: extension) value |