apart-0.1.3: Get all your structure and rip it apart.

Safe HaskellSafe
LanguageHaskell2010

Data.Apart.Transformations

Documentation

type family Attached (structure :: Type -> Type) (extension :: Type -> Type) (value :: Type) :: Type where ... Source #

Equations

Attached (Cofree t) extension value = Cofree t (extension value) 

type family Embedded (structure :: Type -> Type) (extension :: Type -> Type) (value :: Type) :: Type where ... Source #

Equations

Embedded (Cofree t) extension value = Cofree (extension :.: t) value 

type family Injected (structure :: Type -> Type) (extension :: Type -> Type) (value :: Type) :: Type where ... Source #

Equations

Injected (Cofree t) extension value = Cofree (t :.: extension) value 

type family Segmented (structure :: Type -> Type) (value :: Type) :: Type where ... Source #

Equations

Segmented (Cofree t) value = t (Cofree t value) 

type family Scattered (structure :: Type -> Type) (value :: Type) (raw :: Type) :: Type where ... Source #

Equations

Scattered (Cofree t) value raw = Apart t raw value