Safe Haskell | None |
---|---|
Language | Haskell2010 |
Retrie.Expr
Documentation
bitraverseHsConDetails :: Applicative m => ([tyarg] -> m [tyarg']) -> (arg -> m arg') -> (rec -> m rec') -> HsConDetails tyarg arg rec -> m (HsConDetails tyarg' arg' rec') #
getUnparened :: Data k => k -> k #
mkApps :: forall (m :: Type -> Type). MonadIO m => LHsExpr GhcPs -> [LHsExpr GhcPs] -> TransformT m (LHsExpr GhcPs) #
mkConPatIn :: forall (m :: Type -> Type). Monad m => LocatedN RdrName -> HsConPatDetails GhcPs -> TransformT m (LPat GhcPs) #
mkHsAppsTy :: forall (m :: Type -> Type). Monad m => [LHsType GhcPs] -> TransformT m (LHsType GhcPs) #
mkLet :: forall (m :: Type -> Type). Monad m => HsLocalBinds GhcPs -> LHsExpr GhcPs -> TransformT m (LHsExpr GhcPs) #
mkLocA :: forall e (m :: Type -> Type) an. (Data e, Monad m, Monoid an) => DeltaPos -> e -> TransformT m (LocatedAn an e) #
mkLocatedHsVar :: forall (m :: Type -> Type). Monad m => LocatedN RdrName -> TransformT m (LHsExpr GhcPs) #
mkTyVar :: forall (m :: Type -> Type). Monad m => LocatedN RdrName -> TransformT m (LHsType GhcPs) #
parenify :: forall (m :: Type -> Type). Monad m => Context -> LHsExpr GhcPs -> TransformT m (LHsExpr GhcPs) #
parenifyT :: forall (m :: Type -> Type). Monad m => Context -> LHsType GhcPs -> TransformT m (LHsType GhcPs) #
parenifyP :: forall (m :: Type -> Type). Monad m => Context -> LPat GhcPs -> TransformT m (LPat GhcPs) #
wildSupply :: [RdrName] -> [RdrName] #