Data.Homogeneous.Variant

homogeneous :: forall a ra ls. HomogeneousRowLabels ra a ls => Variant ra -> Homogeneous ls a

homogeneous' :: forall a ra ls. ToHomogeneousRow ls a ra => Variant ra -> Homogeneous ls a

When you have labels Row and a at hand and want to derive the Row itself you can use this constructor.

newtype Homogeneous :: Row Type -> Type -> Typenewtype Homogeneous (ls :: Row Type) a

Instances

• (ToHomogeneousRow ls a ra, Eq a, RowToList ra rl, VariantTags rl, VariantEqs rl) => Eq (Homogeneous ls a)
• (ToHomogeneousRow ls a ra, Ord a, RowToList ra rl, VariantTags rl, VariantEqs rl, VariantOrds rl) => Ord (Homogeneous ls a)
• (HomogeneousRowLabels ra a ls, ToHomogeneousRow ls a ra, Ord a, RowToList ra rl, VariantTags rl, VariantEqs rl, VariantOrds rl, VariantBoundedEnums rl) => Enum (Homogeneous ls a)
• (HomogeneousRowLabels ra a ls, ToHomogeneousRow ls a ra, Ord a, RowToList ra rl, VariantTags rl, VariantEqs rl, VariantOrds rl, VariantBounded rl) => Bounded (Homogeneous ls a)
• (ListToHomogeneous rl Void ls, HomogeneousRowLabels ra a ls, ToHomogeneousRow ls a ra, Ord a, RowToList ra rl, HomogeneousRowList rl a, VariantTags rl, VariantEqs rl, VariantOrds rl, VariantBoundedEnums rl) => BoundedEnum (Homogeneous ls a)
• Functor (Homogeneous r)
• Extend (Homogeneous r)
• Comonad (Homogeneous r)
• Foldable (Homogeneous r)
• FoldableWithIndex String (Homogeneous r)
• Foldable1 (Homogeneous r)
• (ToHomogeneousRow ls a ra, HomogeneousRowLabels ls a ra, RowToList ra rl, Show a, VariantTags rl, VariantShows rl) => Show (Homogeneous ls a)

fromHomogeneous :: forall a ra ls. ToHomogeneousRow ls a ra => Homogeneous ls a -> Variant ra