Skip to content

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

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

Moduleenvparse-0.6.0Haskell2010

Env.Internal.Free

Alt F is the free Alternative functor on F

1 type
5 values

Packageenvparse-0.6.0
Exports6
LanguageHaskell2010
LicenceBSD-3-Clause
SourceFree.hs

datadata Alt (f :: Type -> Type) a where

Constructors

Nope :: Alt f a
Pure :: a -> Alt f a
Ap :: Alt f (a1 -> a) -> Alt f a1 -> Alt f a
Alt :: Alt f a -> Alt f a -> Alt f a
Lift :: f a -> Alt f a

Instances3Functor, Applicative, Alternative

Functor f => Functor (Alt f)Defined in envparse-0.6.0 · Env.Internal.Free
Functor f => Applicative (Alt f)Defined in envparse-0.6.0 · Env.Internal.Free
Functor f => Alternative (Alt f)Defined in envparse-0.6.0 · Env.Internal.Free

valueliftAlt :: f a -> Alt f a

valuerunAlt :: Alternative g => (forall x. f x -> g x) -> Alt f a -> g a

valuefoldAlt :: Monoid p => (forall a. f a -> p) -> Alt f b -> p

valuehoistAlt :: Functor g => (forall a. f a -> g a) -> Alt f b -> Alt g b

Debug

1 declaration

valueinspect :: Alt f a -> String

Print the free structure