Skip to content

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

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8174fa4 · 2026-10-11

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 (a -> b) -> Alt f a -> 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