Feldspar.Core.Representation

Contents

• Feldspar expressions
• Feldspar networks

Synopsis

• data Feldspar role a where
  • Literal :: (Type a, MetaType () a) => a -> Feldspar (Out ()) a
  • Function :: (Typeable (a -> b), MetaType () b) => String -> (a -> b) -> Feldspar (In ra -> Out ()) (a -> b)
  • Pair :: (Type a, Type b, MetaType () (a, b)) => Feldspar (In () -> In () -> Out ()) (a -> b -> (a, b))
  • Condition :: MetaType ra a => Feldspar (In () -> In ra -> In ra -> Out ra) (Bool -> a -> a -> a)
  • Parallel :: (Type a, MetaType () [a]) => Feldspar (In () -> (Out () -> In ()) -> In () -> Out ()) (Length -> (Index -> a) -> [a] -> [a])
  • Sequential :: (Type a, MetaType () [a], MetaType rst st) => Feldspar (In () -> In rst -> (Out () -> Out rst -> In ((), rst)) -> (Out rst -> In ()) -> Out ()) (Length -> st -> (Index -> st -> (a, st)) -> (st -> [a]) -> [a])
  • ForLoop :: MetaType rst st => Feldspar (In () -> In rst -> (Out () -> Out rst -> In rst) -> Out rst) (Length -> st -> (Index -> st -> st) -> st)
  • NoInline :: MetaType rb b => String -> Feldspar ((Out ra -> In rb) -> In ra -> Out rb) ((a -> b) -> a -> b)
  • SetLength :: Type a => Feldspar (In () -> In () -> Out ()) (Length -> [a] -> [a])
  • SetIx :: Type a => Feldspar (In () -> In () -> In () -> Out ()) (Index -> a -> [a] -> [a])
• eqLiteral :: (Typeable a, Typeable b, Eq b) => a -> b -> Bool
• sameType :: forall a b. (Typeable a, Typeable b) => a -> b -> Bool
• evalParallel :: Length -> (Index -> a) -> [a] -> [a]
• evalSequential :: Length -> st -> (Index -> st -> (a, st)) -> (st -> [a]) -> [a]
• evalForLoop :: Length -> st -> (Index -> st -> st) -> st
• evalSetLength :: Length -> [a] -> [a]
• evalSetIx :: Index -> a -> [a] -> [a]
• data EdgeSize role a = (Type a, Eq (Size a), Show (Size a)) => EdgeSize {
  • edgeSize :: Size a
  }
• type FeldNetwork = Network EdgeSize Feldspar
• newtype Data a = Data {
  • unData :: FeldNetwork (In ()) a
  }
• class (MultiEdge a Feldspar EdgeSize, Set (Info a), Type (Internal a), MetaType (Role a) (Internal a)) => Syntactic a
• edgeType :: forall a. EdgeSize () a -> TypeRep
• dataSize :: Type a => Data a -> Size a
• dataNode :: Data a -> FeldNetwork (Out ()) a
• nodeData :: Type a => Size a -> FeldNetwork (Out ()) a -> Data a
• getInfo :: Syntactic a => a -> Info a
• resizeData :: Type a => Size a -> Data a -> Data a
• variable :: Syntactic a => Info a -> Ident -> a
• lambda :: (Syntactic a, Syntactic b) => Info a -> (a -> b) -> FeldNetwork (Out (Role a) -> In (Role b)) (Internal a -> Internal b)
• force :: Syntactic a => a -> a
• eval :: Syntactic a => a -> Internal a
• viewLiteral :: Syntactic a => a -> Maybe (Internal a)
• metaTypes :: forall a ra expr. MetaType ra a => expr (Out ra) a -> [([Int], TypeRep)]
• resTypes :: FeldNetwork ra a -> [([Int], TypeRep)]
• isMulti :: FeldNetwork ra a -> Bool
• isElem :: FeldNetwork ra a -> Bool
• isSelector :: FeldNetwork ra a -> Bool
• isArrayLit :: FeldNetwork ra a -> Bool
• isEmpty :: FeldNetwork ra a -> Bool
• feldSharing :: (Typeable ra, Typeable a) => FeldNetwork ra a -> FeldNetwork ra a
• showExprTree :: Syntactic a => a -> String
• showExprTree2 :: (Syntactic a, Syntactic b) => (a -> b) -> String
• drawExpr :: Syntactic a => a -> IO ()
• drawExpr2 :: (Syntactic a, Syntactic b) => (a -> b) -> IO ()

Feldspar expressions

Feldspar networks