Recursive.hs

module Recursive where

This module defines a general class for converting to/from a recursive type and its underlying structure.

class Rec rec struct | rec->struct where
  rec    :: struct -> rec
  struct :: rec    -> struct

  mapRec :: (struct->struct) -> rec -> rec
  mapRec f = rec . f . struct