universe-dependent-sum-1.2: Universe instances for types from dependent-sum

Safe HaskellSafe
LanguageHaskell2010

Data.Universe.DependentSum

Contents

Orphan instances

UniverseSome f => Universe (Some f) Source # 
Instance details

Methods

universe :: [Some f] #

FiniteSome f => Finite (Some f) Source # 
Instance details

Methods

universeF :: [Some f] #

cardinality :: Tagged (Some f) Natural #