Env.Internal.Free

Alt F is the free Alternative functor on F

Documentation

data Alt f a where

Constructors

Nope :: Alt f a

Pure :: a -> Alt f a

Ap :: Alt f (a -> b) -> Alt f a -> Alt f b

Alt :: Alt f a -> Alt f a -> Alt f a

Lift :: f a -> Alt f a

Instances

Functor f => Functor (Alt f)

Defined in Env.Internal.Free

Methods

fmap :: (a -> b) -> Alt f a -> Alt f b

(<$) :: a -> Alt f b -> Alt f a

Functor f => Applicative (Alt f)

Defined in Env.Internal.Free

Methods

pure :: a -> Alt f a

(<*>) :: Alt f (a -> b) -> Alt f a -> Alt f b

liftA2 :: (a -> b -> c) -> Alt f a -> Alt f b -> Alt f c

(*>) :: Alt f a -> Alt f b -> Alt f b

(<*) :: Alt f a -> Alt f b -> Alt f a

Functor f => Alternative (Alt f)

Defined in Env.Internal.Free

Methods

empty :: Alt f a

(<|>) :: Alt f a -> Alt f a -> Alt f a

some :: Alt f a -> Alt f [a]

many :: Alt f a -> Alt f [a]

liftAlt :: f a -> Alt f a

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

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

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

Debug

inspect :: Alt f a -> String

Print the free structure