Feldspar.Core.Constructs

Contents

• Domain
• Front end

Synopsis

• type FeldSymbols = (Decor SourceInfo1 Identity :|| Type) :+: ((Condition :|| Type) :+: ((FFI :|| Type) :+: ((Literal :|| Type) :+: ((Select :|| Type) :+: ((Tuple :|| Type) :+: ((Array :|| Type) :+: ((BITS :|| Type) :+: ((COMPLEX :|| Type) :+: ((Conversion :|| Type) :+: ((EQ :|| Type) :+: ((Error :|| Type) :+: ((FLOATING :|| Type) :+: ((REALFLOAT :|| Type) :+: ((FRACTIONAL :|| Type) :+: ((FUTURE :|| Type) :+: ((INTEGRAL :|| Type) :+: ((Logic :|| Type) :+: ((Loop :|| Type) :+: ((NUM :|| Type) :+: ((NoInline :|| Type) :+: ((ORD :|| Type) :+: ((PropSize :|| Type) :+: ((Save :|| Type) :+: ((Switch :|| Type) :+: ((Trace :|| Type) :+: (Let :+: (ConditionM Mut :+: (LoopM Mut :+: (MONAD Mut :+: (Mutable :+: (MutableArray :+: (MutableReference :+: (MutableToPure :+: (MONAD Par :+: (ParFeature :+: Empty)))))))))))))))))))))))))))))))))))
• type FeldDom = FODomain FeldSymbols Typeable Type
• newtype FeldDomain a = FeldDomain {
  • getFeldDomain :: HODomain FeldSymbols Typeable Type a
  }
• toFeld :: ASTF (HODomain FeldSymbols Typeable Type) a -> ASTF FeldDomain a
• fromFeld :: ASTF FeldDomain a -> ASTF (HODomain FeldSymbols Typeable Type) a
• newtype Data a = Data {
  • unData :: ASTF FeldDomain a
  }
• type SyntacticFeld a = (Syntactic a, Domain a ~ FeldDomain, Typeable (Internal a))
• class (SyntacticFeld a, Type (Internal a)) => Syntax a
• reifyF :: SyntacticFeld a => a -> ASTF FeldDom (Internal a)
• sugarSymF :: (ApplySym sig b FeldDomain, SyntacticN c b, InjectC (feature :|| Type) (HODomain FeldSymbols Typeable Type) (DenResult sig), Type (DenResult sig)) => feature sig -> c

Domain

Front end