Data.Origami.Internal.Fold

The Fold structure and useful instances

data Fold dataCase dataField dataTy foldFamily ty

idFold

errFold

monadicFold

folding functions

foldFoldFamily

foldDataTy

foldDataCase

foldDataField

foldTy