Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data FromCompositeS :: Type -> Exp (Symbol, Type) Source #
Instances
type Eval (FromCompositeS (s :-> x) :: (Symbol, Type) -> Type) Source # | |
Defined in Composite.Fcf |
data ToCompositeS :: (Symbol, Type) -> Exp Type Source #
Instances
type Eval (ToCompositeS '(s, x) :: Type -> Type) Source # | |
Defined in Composite.Fcf |
data ToComposite :: MapC Symbol Type -> Exp [Type] Source #
Instances
type Eval (ToComposite x :: [Type] -> Type) Source # | |
Defined in Composite.Fcf |
data Union :: [Type] -> [Type] -> Exp [Type] Source #
Instances
type Eval (Union xs ys :: [Type] -> Type) Source # | |
Defined in Composite.Fcf type Eval (Union xs ys :: [Type] -> Type) = Eval (ToComposite =<< Union (Eval (FromComposite xs)) (Eval (FromComposite ys))) |
data Difference :: [Type] -> [Type] -> Exp [Type] Source #
Instances
type Eval (Difference xs ys :: [Type] -> Type) Source # | |
Defined in Composite.Fcf type Eval (Difference xs ys :: [Type] -> Type) = Eval (ToComposite =<< Difference (Eval (FromComposite xs)) (Eval (FromComposite ys))) |
data Intersection :: [Type] -> [Type] -> Exp [Type] Source #
Instances
type Eval (Intersection xs ys :: [Type] -> Type) Source # | |
Defined in Composite.Fcf type Eval (Intersection xs ys :: [Type] -> Type) = Eval (ToComposite =<< Intersection (Eval (FromComposite xs)) (Eval (FromComposite ys))) |