Documentation

alignMaybeWithDefault :: a -> Grate (Maybe a) (Maybe b) a b Source #

aligner :: (s -> k -> a) -> ((k -> b) -> t) -> Grate s t a b Source #

alignMap :: Ord k => Set k -> Grate (Map k a) (Map k b) (Maybe a) (Maybe b) Source #

alignMapWithDefault :: Ord k => Set k -> a -> Grate (Map k a) (Map k b) a b Source #

alignList :: Int -> Grate [a] [b] (Maybe a) (Maybe b) Source #

alignListWithDefault :: Int -> a -> Grate [a] [b] a b Source #

alignMapMonoid :: (Monoid a, Ord k) => Set k -> Grate (Map k a) (Map k b) a b Source #

alignListMonoid :: Monoid a => Int -> Grate [a] [b] a b Source #

x :: Map Int [String] Source #

y :: Map Int [String] Source #

l :: Grate (Map Int [String]) (Map Int [b]) String b Source #

l' :: Grate (Map Int [String]) (Map Int [b]) (Maybe String) (Maybe b) Source #

newtype Intersection a Source #

fullAlignMap :: (Ord k, MStrong p, Closed p) => p a b -> p (Map k a) (Map k b) Source #

fullAlignList :: (MStrong p, Closed p) => p a b -> p [a] [b] Source #

tester :: Map Int [String] Source #

zipBy :: forall f p s t a b m. (Representable f, MStrong p, Closed p, Monoid m) => (s -> (f a, m)) -> (f b -> m -> t) -> p a b -> p s t Source #