verigraph-1.1.1: Software specification and verification tool based on graph rewriting.

Safe HaskellSafe
LanguageHaskell2010

Abstract.Cardinality

Documentation

class Cardinality o where Source #

Minimal complete definition

cardinality

Methods

cardinality :: o -> Int Source #

Given an object, returns its cardinality

Instances

Cardinality (Graph n e) Source # 

Methods

cardinality :: Graph n e -> Int Source #