Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. emptyNameMap :: NameMap 'VoidS a

   free-foil	Control.Monad.Foil

   An empty map belongs in the empty scope.

2. nameMapToSubstitution :: forall (i :: S) e (o :: S) . NameMap i (e o) -> Substitution e i o

   free-foil	Control.Monad.Foil

   Convert a NameMap of expressions into a Substitution.

3. newtype NameMap (n :: S) a

   free-foil	Control.Monad.Foil.Internal

   A total map from names in scope n to elements of type a.

4. NameMap :: IntMap a -> NameMap (n :: S) a

   free-foil	Control.Monad.Foil.Internal

   No documentation available.

5. emptyNameMap :: NameMap 'VoidS a

   free-foil	Control.Monad.Foil.Internal

   An empty map belongs in the empty scope.

6. getNameMap :: NameMap (n :: S) a -> IntMap a

   free-foil	Control.Monad.Foil.Internal

   No documentation available.

7. nameMapToSubstitution :: forall (i :: S) e (o :: S) . NameMap i (e o) -> Substitution e i o

   free-foil	Control.Monad.Foil.Internal

   Convert a NameMap of expressions into a Substitution.

8. class ApplyMappings (v :: TyVar d Type)

   free-foil	Control.Monad.Free.Foil.Generic

   No documentation available.

9. class PairMappings (as :: LoT k) (bs :: LoT k)

   free-foil	Control.Monad.Free.Foil.Generic

   No documentation available.

10. applyMappings :: forall (as :: LoT d) (bs :: LoT d) (cs :: LoT d) . ApplyMappings v => Mappings as bs cs -> Interpret ('Var v) as -> Interpret ('Var v) bs -> Maybe (Interpret ('Var v) cs)

    free-foil	Control.Monad.Free.Foil.Generic

    No documentation available.

Page 1152 of many | Previous | Next