Shady.Language.Glom

Typed conglomerate of values

Documentation

class FunctorU q where

Map a polymorphic function over a conglomerate (preserving structure). The required laws are the same as with Functor.

Methods

fmapU :: (forall a. f a -> g a) -> forall a. q f a -> q g a

Instances

FunctorU Glom

class FunctorU m => MonadU m where

Methods

returnU :: f a -> m f a

extendU :: (forall a. f a -> m g a) -> forall a. m f a -> m g a

Instances

MonadU Glom

data Glom f a where

A typed conglomerate of values

Constructors

BaseG :: f a -> Glom f a

UnitG :: Glom f ()

:* :: (HasType a, HasType b, Show a, Show b) => Glom f a -> Glom f b -> Glom f (a, b)

Instances

MonadU Glom

FunctorU Glom

HasExprU f => HasExprU (Glom f)

UnitF (Glom f)

PairF (Glom f)

ToE (Pat a)

(HasExpr a, HasExprU f) => Show (Glom f a)

(HasExpr a, HasExprU f) => Pretty (Glom f a)

(HasExpr a, HasExprU f) => PrettyPrec (Glom f a)

(HasExpr a, HasExprU f) => HasExpr (Glom f a)

foldG :: (c -> c -> c) -> c -> (forall b. f b -> c) -> Glom f a -> c

Fold over a Glom, given handlers for '(:*)', UnitG, and BaseG, respectively.

mapAG :: Applicative m => (forall a. f a -> m (g a)) -> forall a. Glom f a -> m (Glom g a)

Applicative/monadic map over a Glom.