Safe Haskell | Safe-Inferred |
---|---|
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 #
grhsToExpr :: LGRHS GhcPs (LHsExpr GhcPs) -> LHsExpr GhcPs #
mkApps :: MonadIO m => LHsExpr GhcPs -> [LHsExpr GhcPs] -> TransformT m (LHsExpr GhcPs) #
mkConPatIn :: Monad m => LocatedN RdrName -> HsConPatDetails GhcPs -> TransformT m (LPat GhcPs) #
mkEpAnn :: Monad m => DeltaPos -> an -> TransformT m (EpAnn an) #
mkHsAppsTy :: Monad m => [LHsType GhcPs] -> TransformT m (LHsType GhcPs) #
mkLams :: [LPat GhcPs] -> LHsExpr GhcPs -> TransformT IO (LHsExpr GhcPs) #
mkLet :: Monad m => HsLocalBinds GhcPs -> LHsExpr GhcPs -> TransformT m (LHsExpr GhcPs) #
mkLoc :: (Data e, Monad m) => e -> TransformT m (Located e) #
mkLocA :: (Data e, Monad m, Monoid an) => DeltaPos -> e -> TransformT m (LocatedAn an e) #
mkLocatedHsVar :: Monad m => LocatedN RdrName -> TransformT m (LHsExpr GhcPs) #
mkVarPat :: Monad m => LocatedN RdrName -> TransformT m (LPat GhcPs) #
mkTyVar :: Monad m => LocatedN RdrName -> TransformT m (LHsType GhcPs) #
parenify :: Monad m => Context -> LHsExpr GhcPs -> TransformT m (LHsExpr GhcPs) #
parenifyT :: Monad m => Context -> LHsType GhcPs -> TransformT m (LHsType GhcPs) #
parenifyP :: Monad m => Context -> LPat GhcPs -> TransformT m (LPat GhcPs) #
wildSupply :: [RdrName] -> [RdrName] #