Language.Expression.Scope

Documentation

class HBound k where

Methods

(^>>>=) :: HMonad h => k h t a -> (forall b. t b -> h t' b) -> k h t' a

Instances

HBound (Scope g :: ((k -> Type) -> k -> Type) -> (k -> Type) -> k -> Type)

Defined in Language.Expression.Scope

Methods

(^>>>=) :: HMonad h => Scope g h t a -> (forall (b :: k0). t b -> h t' b) -> Scope g h t' a

data BV g f a where

Constructors

B :: g a -> BV g f a

Bound variable

F :: f a -> BV g f a

Free variable

Instances

HBifoldableAt (k2 :: k1 -> Type) (BV :: (k1 -> Type) -> (k1 -> Type) -> k1 -> Type)

Defined in Language.Expression.Scope

Methods

hbifoldMap :: (forall (b :: k). f b -> k2 b) -> (forall (b :: k). g b -> k2 b) -> BV f g a -> k2 a

Pretty1 t => Pretty2 (BV t :: (k -> Type) -> k -> Type)

Defined in Language.Expression.Pretty

Methods

pretty2 :: Pretty1 t0 => BV t t0 a -> String

prettys2Prec :: Pretty1 t0 => Int -> BV t t0 a -> ShowS

HBitraversable (BV :: (k -> Type) -> (k -> Type) -> k -> Type)

Defined in Language.Expression.Scope

Methods

hbitraverse :: Applicative f => (forall (b :: k0). s b -> f (s' b)) -> (forall (b :: k0). t b -> f (t' b)) -> BV s t a -> f (BV s' t' a)

HBifunctor (BV :: (k -> Type) -> (k -> Type) -> k -> Type)

Defined in Language.Expression.Scope

Methods

hbimap :: (forall (b :: k0). s b -> s' b) -> (forall (b :: k0). t b -> t' b) -> BV s t a -> BV s' t' a

hfirst :: (forall (b :: k0). s b -> s' b) -> BV s t a -> BV s' t a

hsecond :: (forall (b :: k0). t b -> t' b) -> BV s t a -> BV s t' a

HTraversable (BV g :: (u -> Type) -> u -> Type)

Defined in Language.Expression.Scope

Methods

htraverse :: Applicative f => (forall (b :: u0). t b -> f (t' b)) -> BV g t a -> f (BV g t' a)

hsequence :: Applicative f => BV g (Compose f t) a -> f (BV g t a)

HMonad (BV g :: (k -> Type) -> k -> Type)

Defined in Language.Expression.Scope

HBind (BV g :: (k -> Type) -> k -> Type)

Defined in Language.Expression.Scope

Methods

(^>>=) :: BV g t a -> (forall (b :: k0). t b -> BV g t' b) -> BV g t' a

HPointed (BV g :: (k -> Type) -> k -> Type)

Defined in Language.Expression.Scope

Methods

hpure :: t a -> BV g t a

HFunctor (BV g :: (u -> Type) -> u -> Type)

Defined in Language.Expression.Scope

Methods

hmap :: (forall (b :: u0). t b -> t' b) -> BV g t a -> BV g t' a

foldBV :: (w a -> r) -> (v a -> r) -> BV w v a -> r

hbitraverseBV :: Functor t => (g a -> t (g' b)) -> (f a -> t (f' b)) -> BV g f a -> t (BV g' f' b)

hbimapBV :: (g a -> g' b) -> (f a -> f' b) -> BV g f a -> BV g' f' b

newtype Scope g h f a

Constructors

Scope

Fields

• unscope :: h (BV g (h f)) a

Instances

HDuofoldableAt (k2 :: k1 -> Type) (Scope k2 :: ((k1 -> Type) -> k1 -> Type) -> (k1 -> Type) -> k1 -> Type)

Defined in Language.Expression.Scope

Methods

hduofoldMap :: HTraversable s => (forall (g :: k -> Type) (b :: k). (forall (c :: k). g c -> k2 c) -> s g b -> k2 b) -> (forall (b :: k). t b -> k2 b) -> Scope k2 s t a -> k2 a

HBound (Scope g :: ((k -> Type) -> k -> Type) -> (k -> Type) -> k -> Type)

Defined in Language.Expression.Scope

Methods

(^>>>=) :: HMonad h => Scope g h t a -> (forall (b :: k0). t b -> h t' b) -> Scope g h t' a

(Pretty2 h, Pretty1 t) => Pretty2 (Scope t h :: (k -> Type) -> k -> Type)

Defined in Language.Expression.Pretty

Methods

pretty2 :: Pretty1 t0 => Scope t h t0 a -> String

prettys2Prec :: Pretty1 t0 => Int -> Scope t h t0 a -> ShowS

HDuotraversable (Scope g :: ((u -> Type) -> u -> Type) -> (u -> Type) -> u -> Type)

Defined in Language.Expression.Scope

Methods

hduotraverse :: Applicative f => (forall (g0 :: u0 -> Type) (g' :: u0 -> Type) (b :: u0). (forall (c :: u0). g0 c -> f (g' c)) -> s g0 b -> f (s' g' b)) -> (forall (b :: u0). t b -> f (t' b)) -> Scope g s t a -> f (Scope g s' t' a)

HDuofunctor (Scope g :: ((u -> Type) -> u -> Type) -> (u -> Type) -> u -> Type)

Defined in Language.Expression.Scope

Methods

hduomap :: (forall (g0 :: u0 -> Type) (g' :: u0 -> Type) (b :: u0). (forall (c :: u0). g0 c -> g' c) -> s g0 b -> s' g' b) -> (forall (b :: u0). t b -> t' b) -> Scope g s t a -> Scope g s' t' a

HTraversable h => HTraversable (Scope g h :: (u -> Type) -> u -> Type)

Defined in Language.Expression.Scope

Methods

htraverse :: Applicative f => (forall (b :: u0). t b -> f (t' b)) -> Scope g h t a -> f (Scope g h t' a)

hsequence :: Applicative f => Scope g h (Compose f t) a -> f (Scope g h t a)

HPointed h => HPointed (Scope g h :: (k -> Type) -> k -> Type)

Defined in Language.Expression.Scope

Methods

hpure :: t a -> Scope g h t a

HFunctor h => HFunctor (Scope g h :: (u -> Type) -> u -> Type)

Defined in Language.Expression.Scope

Methods

hmap :: (forall (b :: u0). t b -> t' b) -> Scope g h t a -> Scope g h t' a

_Scope :: Iso (Scope g h f a) (Scope g' h' f' a') (h (BV g (h f)) a) (h' (BV g' (h' f')) a')

hbitraverseScope :: (Applicative t, HTraversable h) => (forall b. g b -> t (g' b)) -> (forall b. f b -> t (f' b)) -> Scope g h f a -> t (Scope g' h f' a)

freeVar :: HPointed h => f a -> Scope g h f a

boundVar :: HPointed h => g a -> Scope g h f a

liftScope :: (HFunctor h, HPointed h) => h f a -> Scope g h f a

abstractTraverse :: (HMonad h, HTraversable h, Applicative t) => (forall b. f b -> t (Maybe (g b))) -> h f a -> t (Scope g h f a)

abstract :: HMonad h => (forall b. f b -> Maybe (g b)) -> h f a -> Scope g h f a

newtype Scoped h f g a

Sometimes it's convenient to move around the type arguments to Scope.

Constructors

Scoped

Fields

• unscoped :: Scope g h f a

Instances

(HFunctor h, HFoldableAt k2 h) => HBifoldableAt (k2 :: k1 -> Type) (Scoped h :: (k1 -> Type) -> (k1 -> Type) -> k1 -> Type)

Defined in Language.Expression.Scope

Methods

hbifoldMap :: (forall (b :: k). f b -> k2 b) -> (forall (b :: k). g b -> k2 b) -> Scoped h f g a -> k2 a

(Pretty2 h, Pretty1 t) => Pretty2 (Scoped h t :: (k -> Type) -> k -> Type)

Defined in Language.Expression.Pretty

Methods

pretty2 :: Pretty1 t0 => Scoped h t t0 a -> String

prettys2Prec :: Pretty1 t0 => Int -> Scoped h t t0 a -> ShowS

HTraversable h => HBitraversable (Scoped h :: (k -> Type) -> (k -> Type) -> k -> Type)

Defined in Language.Expression.Scope

Methods

hbitraverse :: Applicative f => (forall (b :: k0). s b -> f (s' b)) -> (forall (b :: k0). t b -> f (t' b)) -> Scoped h s t a -> f (Scoped h s' t' a)

HFunctor h => HBifunctor (Scoped h :: (k -> Type) -> (k -> Type) -> k -> Type)

Defined in Language.Expression.Scope

Methods

hbimap :: (forall (b :: k0). s b -> s' b) -> (forall (b :: k0). t b -> t' b) -> Scoped h s t a -> Scoped h s' t' a

hfirst :: (forall (b :: k0). s b -> s' b) -> Scoped h s t a -> Scoped h s' t a

hsecond :: (forall (b :: k0). t b -> t' b) -> Scoped h s t a -> Scoped h s t' a

HTraversable h => HTraversable (Scoped h f :: (u -> Type) -> u -> Type)

Defined in Language.Expression.Scope

Methods

htraverse :: Applicative f0 => (forall (b :: u0). t b -> f0 (t' b)) -> Scoped h f t a -> f0 (Scoped h f t' a)

hsequence :: Applicative f0 => Scoped h f (Compose f0 t) a -> f0 (Scoped h f t a)

HFunctor h => HFunctor (Scoped h f :: (u -> Type) -> u -> Type)

Defined in Language.Expression.Scope

Methods

hmap :: (forall (b :: u0). t b -> t' b) -> Scoped h f t a -> Scoped h f t' a

_Scoped :: Iso (Scoped h f g a) (Scoped h' f' g' a') (Scope g h f a) (Scope g' h' f' a')

data SFree h f a

Constructors

SPure (f a)

SWrap (h (Scoped (SFree h) f) (SFree h f) a)

Instances

(HDuotraversable h, HDuofoldableAt k2 h) => HFoldableAt (k2 :: k1 -> Type) (SFree h :: (k1 -> Type) -> k1 -> Type)

Defined in Language.Expression.Scope

Methods

hfoldMap :: (forall (b :: k). t b -> k2 b) -> SFree h t a -> k2 a

Pretty3 h => Pretty2 (SFree h :: (k -> Type) -> k -> Type)

Defined in Language.Expression.Pretty

Methods

pretty2 :: Pretty1 t => SFree h t a -> String

prettys2Prec :: Pretty1 t => Int -> SFree h t a -> ShowS

HDuotraversable h => HTraversable (SFree h :: (u -> Type) -> u -> Type)

Defined in Language.Expression.Scope

Methods

htraverse :: Applicative f => (forall (b :: u0). t b -> f (t' b)) -> SFree h t a -> f (SFree h t' a)

hsequence :: Applicative f => SFree h (Compose f t) a -> f (SFree h t a)

HDuofunctor h => HMonad (SFree h :: (k -> Type) -> k -> Type)

Defined in Language.Expression.Scope

HDuofunctor h => HBind (SFree h :: (k -> Type) -> k -> Type)

Defined in Language.Expression.Scope

Methods

(^>>=) :: SFree h t a -> (forall (b :: k0). t b -> SFree h t' b) -> SFree h t' a

HPointed (SFree h :: (k -> Type) -> k -> Type)

Defined in Language.Expression.Scope

Methods

hpure :: t a -> SFree h t a

HDuofunctor h => HFunctor (SFree h :: (u -> Type) -> u -> Type)

Defined in Language.Expression.Scope

Methods

hmap :: (forall (b :: u0). t b -> t' b) -> SFree h t a -> SFree h t' a