Data.Witherable

class Witherable t

ordNub

hashNub

Generalization

type FilterLike f s t a b

type Filter s t a b

type FilterLike' f s a

type Filter' s a

witherOf

mapMaybeOf

catMaybesOf

filterAOf

filterOf

ordNubOf

hashNubOf

Cloning

cloneFilter

data Dungeon a b t

Witherable from Traversable

data Chipped t a