HORIZON HASKELLDocslts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Modulemachines-0.7.4Haskell2010

Data.Machine.Is

  • 1 type
  • Packagemachines-0.7.4
  • Exports1
  • LanguageHaskell2010
  • LicenceBSD-3-Clause
  • SourceIs.hs
datadata Is a b where
#

Witnessed type equality

Constructors

Instances8Automaton, Category, Eq, Ord, Read, Show, …
  • Automaton IsDefined in machines-0.7.4 · Data.Machine.Process
  • Category IsDefined in machines-0.7.4 · Data.Machine.Is
  • Eq (Is a b)Defined in machines-0.7.4 · Data.Machine.Is
  • Ord (Is a b)Defined in machines-0.7.4 · Data.Machine.Is
  • a ~ b => Read (Is a b)Defined in machines-0.7.4 · Data.Machine.Is
  • Show (Is a b)Defined in machines-0.7.4 · Data.Machine.Is
  • a ~ b => Semigroup (Is a b)Defined in machines-0.7.4 · Data.Machine.Is
  • a ~ b => Monoid (Is a b)Defined in machines-0.7.4 · Data.Machine.Is