Composite.Fcf

Documentation

data FromCompositeS :: Type -> Exp (Symbol, Type)

Instances

type Eval (FromCompositeS (s :-> x) :: (Symbol, Type) -> Type)

Defined in Composite.Fcf

type Eval (FromCompositeS (s :-> x) :: (Symbol, Type) -> Type) = '(s, x)

data FromComposite :: [Type] -> Exp (MapC Symbol Type)

Instances

type Eval (FromComposite x :: MapC Symbol Type -> Type)

Defined in Composite.Fcf

type Eval (FromComposite x :: MapC Symbol Type -> Type) = Eval ((FromList :: [(Symbol, Type)] -> MapC Symbol Type -> Type) =<< Map FromCompositeS x)

data ToCompositeS :: (Symbol, Type) -> Exp Type

Instances

type Eval (ToCompositeS '(s, x) :: Type -> Type)

Defined in Composite.Fcf

type Eval (ToCompositeS '(s, x) :: Type -> Type) = s :-> x

data ToComposite :: MapC Symbol Type -> Exp [Type]

Instances

type Eval (ToComposite x :: [Type] -> Type)

Defined in Composite.Fcf

type Eval (ToComposite x :: [Type] -> Type) = Eval ((Map ToCompositeS :: [(Symbol, Type)] -> [Type] -> Type) =<< ToList x)

data Union :: [Type] -> [Type] -> Exp [Type]

Instances

type Eval (Union xs ys :: [Type] -> Type)

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]

Instances

type Eval (Difference xs ys :: [Type] -> Type)

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]

Instances

type Eval (Intersection xs ys :: [Type] -> Type)

Defined in Composite.Fcf

type Eval (Intersection xs ys :: [Type] -> Type) = Eval (ToComposite =<< Intersection (Eval (FromComposite xs)) (Eval (FromComposite ys)))