fixpoint-0.1: Data types as fixpoints Source code Contents Index

Data.Fixpoint.Algorithms

Documentation

size :: (Fixpoint t, Foldable (Pre t)) => t -> Int Source

Produced by Haddock version 2.3.0