Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

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