Module

# Dissect.Class

- Package
- purescript-dissect
- Repository
- PureFunctor/purescript-dissect

Provides the `Dissect`

type class based on the "Clowns to the Left of me,
Jokers to the Right (Pearl): Dissecting Data Structures" paper by Conor
McBride.

### #Result Source

`newtype Result :: (Type -> Type) -> (Type -> Type -> Type) -> Type -> Type -> Type`

`newtype Result p q c j`

The result of a dissection step over some data structure `p`

, which can
either be a `yield`

, indicating that additional steps would have to be
performed; or a `return`

, indicating that the dissection has finished.

Initializes a dissection given the base structure

`p j`

.