Pandora.Paradigm.Structure.Property.Hollow

Documentation

class Hollow t where

Methods

hollow :: r -> (Cofree t a -> r) -> (Cofree :>: t) a -> r

Destructor based on emptiness check

Instances

Hollow Edges

Defined in Pandora.Paradigm.Structure.Concrete.Graph

Methods

hollow :: r -> (Cofree Edges a -> r) -> (Cofree :>: Edges) a -> r

Hollow Maybe

Defined in Pandora.Paradigm.Structure.Concrete.Stack

Methods

hollow :: r -> (Cofree Maybe a -> r) -> (Cofree :>: Maybe) a -> r