jmacro-0.6.14: QuasiQuotation library for programmatic generation of Javascript code.

Safe HaskellNone
LanguageHaskell98

Language.Javascript.JMacro.TypeCheck

Documentation

partitionOut :: (a -> Maybe b) -> [a] -> ([b], [a]) Source

zipWithOrChange :: (a -> a -> b) -> (a -> b) -> [a] -> [a] -> [b] Source

zipWithOrIdM :: Monad m => (a -> a -> m a) -> [a] -> [a] -> m [a] Source

unionWithM :: (Monad m, Ord key) => (val -> val -> m val) -> Map key val -> Map key val -> m (Map key val) Source

intersectionWithM :: (Monad m, Ord key) => (val -> val -> m b) -> Map key val -> Map key val -> m (Map key b) Source

class Compos1 t where Source

Methods

compos1 :: (forall a. a -> m a) -> (forall a b. m (a -> b) -> m a -> m b) -> (t -> m t) -> t -> m t Source

Instances

composOp1 :: Compos1 t => (t -> t) -> t -> t Source

composOpM1 :: (Compos1 t, Monad m) => (t -> m t) -> t -> m t Source

composOpM1_ :: (Compos1 t, Monad m) => (t -> m ()) -> t -> m () Source

composOpFold1 :: Compos1 t => b -> (b -> b -> b) -> (t -> b) -> t -> b Source

newtype C b a Source

Constructors

C 

Fields

unC :: b
 

traversem_ :: (Foldable t, Monad f) => (a -> f b) -> t a -> f () Source

addToStack :: Ord a => a -> [Set a] -> [Set a] Source

frame2VarRefs :: Set t -> [(Maybe a, t)] Source