Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xd29e1592026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · d29e159 · 2026-10-12

Moduletesting-feat-1.1.1.1Haskell2010

Test.Feat.Finite

A datatype of finite sequences

2 types
2 values

Packagetesting-feat-1.1.1.1
Exports4
LanguageHaskell2010
LicenceBSD-3-Clause
SourceFinite.hs

datadata Finite a

Constructors

Finite
- fCard :: Index
- fIndex :: Index -> a

Instances6Functor, Applicative, Alternative, Show, Semigroup, Monoid

Functor FiniteDefined in testing-feat-1.1.1.1 · Test.Feat.Finite
Applicative FiniteDefined in testing-feat-1.1.1.1 · Test.Feat.Finite
Alternative FiniteDefined in testing-feat-1.1.1.1 · Test.Feat.Finite
Show a => Show (Finite a)Defined in testing-feat-1.1.1.1 · Test.Feat.Finite
Semigroup (Finite a)Defined in testing-feat-1.1.1.1 · Test.Feat.Finite
Monoid (Finite a)Defined in testing-feat-1.1.1.1 · Test.Feat.Finite

typetype Index = Integer

valuefromFinite :: Finite a -> (Index, [a])

valuefinFin :: Integer -> Finite Integer