Feldspar.Core.Interpretation

Description

Synopsis

• module Language.Syntactic.Constructs.Decoration
• module Feldspar.Core.Interpretation.Typed
• targetSpecialization :: BitWidth n -> ASTF dom a -> ASTF dom a
• class Sharable dom where
  • sharable :: dom a -> Bool
  • hoistOver :: dom a -> Bool
• class SizeProp feature where
  • sizeProp :: feature a -> Args (WrapFull Info) a -> Size (DenResult a)
• sizePropDefault :: Type (DenResult a) => feature a -> Args (WrapFull Info) a -> Size (DenResult a)
• resultType :: Type (DenResult a) => c a -> TypeRep (DenResult a)
• type SourceInfo = String
• data Info a where
  • Info :: (Show (Size a), Lattice (Size a)) => {
    • infoType :: TypeRep a
    • infoSize :: Size a
    • infoVars :: VarInfo
    • infoSource :: SourceInfo
    } -> Info a
• mkInfo :: Type a => Size a -> Info a
• mkInfoTy :: (Show (Size a), Lattice (Size a)) => TypeRep a -> Info a
• infoRange :: Type a => Info a -> RangeSet a
• class LatticeSize1 m where
  • mergeSize :: Lattice (Size a) => Info (m a) -> Size (m a) -> Size (m a) -> Size (m a)
• viewLiteral :: forall info dom a. (Literal :|| Type) :<: dom => ASTF (Decor info (dom :|| Typeable)) a -> Maybe a
• literal :: (Type a, (Literal :|| Type) :<: dom) => a -> ASTF (dom :|| Typeable) a
• literalDecor :: (Type a, (Literal :|| Type) :<: dom) => a -> ASTF (Decor Info (dom :|| Typeable)) a
• constFold :: (Typed dom, (Literal :|| Type) :<: dom) => SourceInfo -> ASTF (Decor Info (dom :|| Typeable)) a -> a -> ASTF (Decor Info (dom :|| Typeable)) a
• data SomeInfo where
  • SomeInfo :: Typeable a => Info a -> SomeInfo
• data SomeType where
  • SomeType :: TypeRep a -> SomeType
• data Env = Env {
  • varEnv :: [(VarId, SomeInfo)]
  • sourceEnv :: SourceInfo
  }
• data FeldOpts = FeldOpts {
  • targets :: [Target]
  }
• data Target
  • = RegionInf
  • | SICS
• inTarget :: Target -> FeldOpts -> Bool
• defaultFeldOpts :: FeldOpts
• localVar :: Typeable b => VarId -> Info b -> Opt a -> Opt a
• localSource :: SourceInfo -> Opt a -> Opt a
• type Opt = Reader Env
• class Optimize feature dom where
  • optimizeFeat :: (Typeable (DenResult a), OptimizeSuper dom) => FeldOpts -> feature a -> Args (AST (dom :|| Typeable)) a -> Opt (ASTF (Decor Info (dom :|| Typeable)) (DenResult a))
  • constructFeatOpt :: Typeable (DenResult a) => FeldOpts -> feature a -> Args (AST (Decor Info (dom :|| Typeable))) a -> Opt (ASTF (Decor Info (dom :|| Typeable)) (DenResult a))
  • constructFeatUnOpt :: Typeable (DenResult a) => FeldOpts -> feature a -> Args (AST (Decor Info (dom :|| Typeable))) a -> Opt (ASTF (Decor Info (dom :|| Typeable)) (DenResult a))
• class (AlphaEq dom dom (dom :|| Typeable) [(VarId, VarId)], AlphaEq dom dom (Decor Info (dom :|| Typeable)) [(VarId, VarId)], EvalBind dom, (Literal :|| Type) :<: dom, Typed dom, Render dom, Constrained dom, Optimize dom dom) => OptimizeSuper dom
• constructFeat :: (Typeable (DenResult a), Optimize feature dom) => FeldOpts -> feature a -> Args (AST (Decor Info (dom :|| Typeable))) a -> Opt (ASTF (Decor Info (dom :|| Typeable)) (DenResult a))
• optimizeM :: OptimizeSuper dom => FeldOpts -> ASTF (dom :|| Typeable) a -> Opt (ASTF (Decor Info (dom :|| Typeable)) a)
• optimize :: (Typeable a, OptimizeSuper dom) => FeldOpts -> ASTF (dom :|| Typeable) a -> ASTF (Decor Info (dom :|| Typeable)) a
• constructFeatUnOptDefaultTyp :: (feature :<: dom, SizeProp feature, Typeable (DenResult a), Show (Size (DenResult a)), Lattice (Size (DenResult a))) => FeldOpts -> TypeRep (DenResult a) -> feature a -> Args (AST (Decor Info (dom :|| Typeable))) a -> Opt (ASTF (Decor Info (dom :|| Typeable)) (DenResult a))
• constructFeatUnOptDefault :: (feature :<: dom, SizeProp feature, Type (DenResult a)) => FeldOpts -> feature a -> Args (AST (Decor Info (dom :|| Typeable))) a -> Opt (ASTF (Decor Info (dom :|| Typeable)) (DenResult a))
• optimizeFeatDefault :: (Optimize feature dom, Typeable (DenResult a), OptimizeSuper dom) => FeldOpts -> feature a -> Args (AST (dom :|| Typeable)) a -> Opt (ASTF (Decor Info (dom :|| Typeable)) (DenResult a))
• prjF :: Project (sub :|| Type) sup => sup sig -> Maybe ((sub :|| Type) sig)
• c' :: Type (DenResult sig) => feature sig -> (feature :|| Type) sig
• class Monotonic feature where
  • monotonicInc :: feature a -> Args (AST (Decor Info (dom :|| Typeable))) a -> [ASTF (Decor Info (dom :|| Typeable)) (DenResult a)]
  • monotonicDec :: feature a -> Args (AST (Decor Info (dom :|| Typeable))) a -> [ASTF (Decor Info (dom :|| Typeable)) (DenResult a)]
• viewMonotonicInc :: Monotonic dom => ASTF (Decor Info (dom :|| Typeable)) a -> [ASTF (Decor Info (dom :|| Typeable)) a]
• viewMonotonicDec :: Monotonic dom => ASTF (Decor Info (dom :|| Typeable)) a -> [ASTF (Decor Info (dom :|| Typeable)) a]

Documentation

forAll a. [a] = monotonicInc (f a) ==> f a >= a

forAll a. [a] = monotonicDec (f a) ==> f a <= a