Copyright	(c) Erich Gut
License	BSD3
Maintainer	zerich.gut@gmail.com
Safe Haskell	Safe-Inferred
Language	Haskell2010

OAlg.Data.Validable

Contents

Validable
XStandard

Description

validable values x, which can be validated via validate (valid x).

Synopsis

class Validable a where
- valid :: a -> Statement
rnfValid :: NFData x => x -> Statement
class Validable1 p where
- valid1 :: p x -> Statement
class Validable2 h where
- valid2 :: h x y -> Statement
class Validable x => XStandard x where
- xStandard :: X x
relXStandard :: XStandard x => p x -> Statement

Validable

class Validable a where Source #

validation of a value of a.

Methods

valid :: a -> Statement Source #

Instances

Instances details

Validable N Source #
Instance details Defined in OAlg.Data.Validable Methods valid :: N -> Statement Source #
Validable Q Source #
Instance details Defined in OAlg.Data.Validable Methods valid :: Q -> Statement Source #
Validable Z Source #
Instance details Defined in OAlg.Data.Validable Methods valid :: Z -> Statement Source #
Validable Valid Source #
Instance details Defined in OAlg.Data.Validable Methods valid :: Valid -> Statement Source #
Validable Symbol Source #
Instance details Defined in OAlg.Data.Symbol Methods valid :: Symbol -> Statement Source #
Validable Empty Source #
Instance details Defined in OAlg.Entity.Definition Methods valid :: Empty -> Statement Source #
Validable N' Source #
Instance details Defined in OAlg.Entity.Natural Methods valid :: N' -> Statement Source #
Validable SomeNatural Source #
Instance details Defined in OAlg.Entity.Natural Methods valid :: SomeNatural -> Statement Source #
Validable W' Source #
Instance details Defined in OAlg.Entity.Natural Methods valid :: W' -> Statement Source #
Validable Integer Source #
Instance details Defined in OAlg.Data.Validable Methods valid :: Integer -> Statement Source #
Validable () Source #
Instance details Defined in OAlg.Data.Validable Methods valid :: () -> Statement Source #
Validable Bool Source #
Instance details Defined in OAlg.Data.Validable Methods valid :: Bool -> Statement Source #
Validable Char Source #
Instance details Defined in OAlg.Data.Validable Methods valid :: Char -> Statement Source #
Validable Int Source #
Instance details Defined in OAlg.Data.Validable Methods valid :: Int -> Statement Source #
Validable (Ratio Integer) Source #
Instance details Defined in OAlg.Data.Validable Methods valid :: Ratio Integer -> Statement Source #
Validable2 m => Validable (SomeMorphism m) Source #
Instance details Defined in OAlg.Category.Unify Methods valid :: SomeMorphism m -> Statement Source #
Validable (SomeObjectClass m) Source #
Instance details Defined in OAlg.Category.Unify Methods valid :: SomeObjectClass m -> Statement Source #
(Oriented a, XStandardPoint a) => Validable (XSomeFreeSliceFromLiftable a) Source #
Instance details Defined in OAlg.Data.Generator Methods valid :: XSomeFreeSliceFromLiftable a -> Statement Source #
Validable x => Validable (Op x) Source #
Instance details Defined in OAlg.Data.Validable Methods valid :: Op x -> Statement Source #
Validable a => Validable (X a) Source #
Instance details Defined in OAlg.Data.Validable Methods valid :: X a -> Statement Source #
Oriented a => Validable (SomeDiagram a) Source #
Instance details Defined in OAlg.Entity.Diagram.Definition Methods valid :: SomeDiagram a -> Statement Source #
(Additive x, FibredOriented x) => Validable (Matrix x) Source #
Instance details Defined in OAlg.Entity.Matrix.Definition Methods valid :: Matrix x -> Statement Source #
Galoisian x => Validable (GL2 x) Source #
Instance details Defined in OAlg.Entity.Matrix.GeneralLinearGroup Methods valid :: GL2 x -> Statement Source #
Oriented x => Validable (GLT x) Source #
Instance details Defined in OAlg.Entity.Matrix.GeneralLinearGroup Methods valid :: GLT x -> Statement Source #
Validable (Transformation x) Source #
Instance details Defined in OAlg.Entity.Matrix.GeneralLinearGroup Methods valid :: Transformation x -> Statement Source #
Oriented x => Validable (ColTrafo x) Source #
Instance details Defined in OAlg.Entity.Matrix.Transformation Methods valid :: ColTrafo x -> Statement Source #
Distributive k => Validable (DiagonalForm k) Source #
Instance details Defined in OAlg.Entity.Matrix.Transformation Methods valid :: DiagonalForm k -> Statement Source #
Number k => Validable (DiagonalFormStrictPositive k) Source #
Instance details Defined in OAlg.Entity.Matrix.Transformation Methods valid :: DiagonalFormStrictPositive k -> Statement Source #
Oriented a => Validable (RowTrafo a) Source #
Instance details Defined in OAlg.Entity.Matrix.Transformation Methods valid :: RowTrafo a -> Statement Source #
Semiring r => Validable (Vector r) Source #
Instance details Defined in OAlg.Entity.Matrix.Vector Methods valid :: Vector r -> Statement Source #
Validable (W n) Source #
Instance details Defined in OAlg.Entity.Natural Methods valid :: W n -> Statement Source #
Entity x => Validable (ProductSymbol x) Source #
Instance details Defined in OAlg.Entity.Product.ProductSymbol Methods valid :: ProductSymbol x -> Statement Source #
Validable x => Validable (U x) Source #
Instance details Defined in OAlg.Entity.Product.ProductSymbol Methods valid :: U x -> Statement Source #
(Entity i, Ord i) => Validable (Permutation i) Source #
Instance details Defined in OAlg.Entity.Sequence.Permutation Methods valid :: Permutation i -> Statement Source #
(Entity i, Ord i) => Validable (PermutationForm i) Source #
Instance details Defined in OAlg.Entity.Sequence.Permutation Methods valid :: PermutationForm i -> Statement Source #
(Validable x, Ord x, Show x) => Validable (Set x) Source #
Instance details Defined in OAlg.Entity.Sequence.Set Methods valid :: Set x -> Statement Source #
Validable (SomeFree c) Source #
Instance details Defined in OAlg.Entity.Slice.Free Methods valid :: SomeFree c -> Statement Source #
Validable a => Validable (R a) Source #
Instance details Defined in OAlg.Entity.Sum.SumSymbol Methods valid :: R a -> Statement Source #
Fibred a => Validable (Adbl2 a) Source #
Instance details Defined in OAlg.Structure.Additive.Proposition Methods valid :: Adbl2 a -> Statement Source #
Fibred a => Validable (Adbl3 a) Source #
Instance details Defined in OAlg.Structure.Additive.Proposition Methods valid :: Adbl3 a -> Statement Source #
Additive a => Validable (XAbl a) Source #
Instance details Defined in OAlg.Structure.Additive.Proposition Methods valid :: XAbl a -> Statement Source #
Additive a => Validable (XAdd a) Source #
Instance details Defined in OAlg.Structure.Additive.Proposition Methods valid :: XAdd a -> Statement Source #
Algebraic a => Validable (XAlg a) Source #
Instance details Defined in OAlg.Structure.Algebraic.Proposition Methods valid :: XAlg a -> Statement Source #
Fibred f => Validable (Sheaf f) Source #
Instance details Defined in OAlg.Structure.Fibred.Definition Methods valid :: Sheaf f -> Statement Source #
Multiplicative c => Validable (Inv c) Source #
Instance details Defined in OAlg.Structure.Multiplicative.Definition Methods valid :: Inv c -> Statement Source #
Oriented q => Validable (Endo q) Source #
Instance details Defined in OAlg.Structure.Multiplicative.Proposition Methods valid :: Endo q -> Statement Source #
Oriented c => Validable (Mltp2 c) Source #
Instance details Defined in OAlg.Structure.Multiplicative.Proposition Methods valid :: Mltp2 c -> Statement Source #
Oriented c => Validable (Mltp3 c) Source #
Instance details Defined in OAlg.Structure.Multiplicative.Proposition Methods valid :: Mltp3 c -> Statement Source #
Oriented c => Validable (XMlt c) Source #
Instance details Defined in OAlg.Structure.Multiplicative.Proposition Methods valid :: XMlt c -> Statement Source #
Validable p => Validable (Orientation p) Source #
Instance details Defined in OAlg.Structure.Oriented.Definition Methods valid :: Orientation p -> Statement Source #
Oriented q => Validable (Path q) Source #
Instance details Defined in OAlg.Structure.Oriented.Definition Methods valid :: Path q -> Statement Source #
Oriented q => Validable (XOrtOrientation q) Source #
Instance details Defined in OAlg.Structure.Oriented.Definition Methods valid :: XOrtOrientation q -> Statement Source #
Vectorial v => Validable (XVec v) Source #
Instance details Defined in OAlg.Structure.Vectorial.Proposition Methods valid :: XVec v -> Statement Source #
Validable a => Validable (Maybe a) Source #
Instance details Defined in OAlg.Data.Validable Methods valid :: Maybe a -> Statement Source #
Validable a => Validable [a] Source #
Instance details Defined in OAlg.Data.Validable Methods valid :: [a] -> Statement Source #
(Validable a, Validable b) => Validable (Either a b) Source #
Instance details Defined in OAlg.Data.Validable Methods valid :: Either a b -> Statement Source #
Validable (Proxy x) Source #
Instance details Defined in OAlg.Data.Validable Methods valid :: Proxy x -> Statement Source #
(Distributive a, XStandardOrtSiteFrom a, XStandardOrtSiteTo a, XStandardSomeFreeSliceFromLiftable a) => Validable (Generator 'To a) Source #
Instance details Defined in OAlg.Data.Generator Methods valid :: Generator 'To a -> Statement Source #
Validable (Empty2 x y) Source #
Instance details Defined in OAlg.Entity.Definition Methods valid :: Empty2 x y -> Statement Source #
Validable (Quiver n m) Source #
Instance details Defined in OAlg.Entity.Diagram.Quiver Methods valid :: Quiver n m -> Statement Source #
Validable a => Validable (FinList n a) Source #
Instance details Defined in OAlg.Entity.FinList Methods valid :: FinList n a -> Statement Source #
Oriented x => Validable (Dim x p) Source #
Instance details Defined in OAlg.Entity.Matrix.Dim Methods valid :: Dim x p -> Statement Source #
(Entity x, Entity i, Ord i) => Validable (Col i x) Source #
Instance details Defined in OAlg.Entity.Matrix.Entries Methods valid :: Col i x -> Statement Source #
(Entity x, Entity j, Ord j) => Validable (Row j x) Source #
Instance details Defined in OAlg.Entity.Matrix.Entries Methods valid :: Row j x -> Statement Source #
Validable (GLApp x y) Source #
Instance details Defined in OAlg.Entity.Matrix.GeneralLinearGroup Methods valid :: GLApp x y -> Statement Source #
Validable (TrApp x y) Source #
Instance details Defined in OAlg.Entity.Matrix.GeneralLinearGroup Methods valid :: TrApp x y -> Statement Source #
(Oriented a, Integral r) => Validable (Product r a) Source #
Instance details Defined in OAlg.Entity.Product.Definition Methods valid :: Product r a -> Statement Source #
(Oriented a, Number r) => Validable (ProductForm r a) Source #
Instance details Defined in OAlg.Entity.Product.Definition Methods valid :: ProductForm r a -> Statement Source #
(Validable a, Validable r) => Validable (Word r a) Source #
Instance details Defined in OAlg.Entity.Product.Definition Methods valid :: Word r a -> Statement Source #
(Entity x, Entity i, Ord i) => Validable (Graph i x) Source #
Instance details Defined in OAlg.Entity.Sequence.Graph Methods valid :: Graph i x -> Statement Source #
(Entity x, Entity i, Ord i) => Validable (PSequence i x) Source #
Instance details Defined in OAlg.Entity.Sequence.PSequence Methods valid :: PSequence i x -> Statement Source #
Validable (Free k c) Source #
Instance details Defined in OAlg.Entity.Slice.Free Methods valid :: Free k c -> Statement Source #
Oriented c => Validable (SomeFreeSlice s c) Source #
Instance details Defined in OAlg.Entity.Slice.Free Methods valid :: SomeFreeSlice s c -> Statement Source #
(Validable r, Validable a) => Validable (LinearCombination r a) Source #
Instance details Defined in OAlg.Entity.Sum.Definition Methods valid :: LinearCombination r a -> Statement Source #
(Distributive r, Total r, Commutative r, Fibred a) => Validable (Sum r a) Source #
Instance details Defined in OAlg.Entity.Sum.Definition Methods valid :: Sum r a -> Statement Source #
(Fibred a, Semiring r, Commutative r) => Validable (SumForm r a) Source #
Instance details Defined in OAlg.Entity.Sum.Definition Methods valid :: SumForm r a -> Statement Source #
(Distributive r, Total r, Commutative r, Entity a) => Validable (SumSymbol r a) Source #
Instance details Defined in OAlg.Entity.Sum.SumSymbol Methods valid :: SumSymbol r a -> Statement Source #
Validable (Struct s x) Source #
Instance details Defined in OAlg.Data.Validable Methods valid :: Struct s x -> Statement Source #
Distributive d => Validable (DstRootSide s d) Source #
Instance details Defined in OAlg.Structure.Distributive.Proposition Methods valid :: DstRootSide s d -> Statement Source #
Distributive d => Validable (DstSide s d) Source #
Instance details Defined in OAlg.Structure.Distributive.Proposition Methods valid :: DstSide s d -> Statement Source #
Validable r => Validable (Digits b r) Source #
Instance details Defined in OAlg.Structure.Number.Definition Methods valid :: Digits b r -> Statement Source #
Oriented q => Validable (XOrtSite s q) Source #
Instance details Defined in OAlg.Structure.Oriented.Definition Methods valid :: XOrtSite s q -> Statement Source #
(XStandard x, Validable y) => Validable (x -> y) Source #
Instance details Defined in OAlg.Data.Validable Methods valid :: (x -> y) -> Statement Source #
(Validable a, Validable b) => Validable (a, b) Source #
Instance details Defined in OAlg.Data.Validable Methods valid :: (a, b) -> Statement Source #
(HomMultiplicative h, XStandardPoint d, XStandard d, XStandardPoint c, XStandard c) => Validable (Adjunction h d c) Source #
Instance details Defined in OAlg.Adjunction.Definition Methods valid :: Adjunction h d c -> Statement Source #
Validable2 (Path m) => Validable (Path m x y) Source #
Instance details Defined in OAlg.Category.Path Methods valid :: Path m x y -> Statement Source #
(Entity x, Entity i, Entity j, Ord i, Ord j) => Validable (Entries i j x) Source #
Instance details Defined in OAlg.Entity.Matrix.Entries Methods valid :: Entries i j x -> Statement Source #
Semiring r => Validable (HomSymbol r x y) Source #
Instance details Defined in OAlg.Entity.Matrix.Vector Methods valid :: HomSymbol r x y -> Statement Source #
(Oriented c, Sliced i c) => Validable (Slice s i c) Source #
Instance details Defined in OAlg.Entity.Slice.Definition Methods valid :: Slice s i c -> Statement Source #
(Multiplicative c, Sliced i c) => Validable (SliceFactor s i c) Source #
Instance details Defined in OAlg.Entity.Slice.Definition Methods valid :: SliceFactor s i c -> Statement Source #
Validable (SliceFactorDrop s x y) Source #
Instance details Defined in OAlg.Entity.Slice.Definition Methods valid :: SliceFactorDrop s x y -> Statement Source #
(Distributive c, Sliced i c, XStandardOrtSiteTo c, Typeable n) => Validable (KernelSliceFromSomeFreeTip n i c) Source #
Instance details Defined in OAlg.Entity.Slice.Free Methods valid :: KernelSliceFromSomeFreeTip n i c -> Statement Source #
Validable (HomOp s a b) Source #
Instance details Defined in OAlg.Hom.Oriented.Definition Methods valid :: HomOp s a b -> Statement Source #
Validable (IdHom s a b) Source #
Instance details Defined in OAlg.Hom.Oriented.Definition Methods valid :: IdHom s a b -> Statement Source #
Validable (IsoOp s a b) Source #
Instance details Defined in OAlg.Hom.Oriented.Definition Methods valid :: IsoOp s a b -> Statement Source #
Oriented a => Validable (FactorChain 'From n a) Source #
Instance details Defined in OAlg.Limes.Cone.Definition Methods valid :: FactorChain 'From n a -> Statement Source #
Oriented a => Validable (FactorChain 'To n a) Source #
Instance details Defined in OAlg.Limes.Cone.Definition Methods valid :: FactorChain 'To n a -> Statement Source #
(Validable a, Validable b, Validable c) => Validable (a, b, c) Source #
Instance details Defined in OAlg.Data.Validable Methods valid :: (a, b, c) -> Statement Source #
Validable2 m => Validable (Forget t m x y) Source #
Instance details Defined in OAlg.Data.Validable Methods valid :: Forget t m x y -> Statement Source #
Oriented a => Validable (Diagram t n m a) Source #
Instance details Defined in OAlg.Entity.Diagram.Definition Methods valid :: Diagram t n m a -> Statement Source #
Multiplicative a => Validable (Transformation t n m a) Source #
Instance details Defined in OAlg.Entity.Diagram.Transformation Methods valid :: Transformation t n m a -> Statement Source #
Validable (Representable r h x y) Source #
Instance details Defined in OAlg.Entity.Matrix.Vector Methods valid :: Representable r h x y -> Statement Source #
Validable (SliceCokernelKernel i c x y) Source #
Instance details Defined in OAlg.Entity.Slice.Adjunction Methods valid :: SliceCokernelKernel i c x y -> Statement Source #
Oriented a => Validable (DiagramFree t n m a) Source #
Instance details Defined in OAlg.Entity.Slice.Free Methods valid :: DiagramFree t n m a -> Statement Source #
Validable (IsoOpMap f s a b) Source #
Instance details Defined in OAlg.Hom.Oriented.Definition Methods valid :: IsoOpMap f s a b -> Statement Source #
Validable (OpMap f s a b) Source #
Instance details Defined in OAlg.Hom.Oriented.Definition Methods valid :: OpMap f s a b -> Statement Source #
(Validable a, Validable b, Validable c, Validable d) => Validable (a, b, c, d) Source #
Instance details Defined in OAlg.Data.Validable Methods valid :: (a, b, c, d) -> Statement Source #
Oriented c => Validable (DiagramSlicedCenter i t n m c) Source #
Instance details Defined in OAlg.Entity.Slice.Definition Methods valid :: DiagramSlicedCenter i t n m c -> Statement Source #
(Validable a, Validable b, Validable c, Validable d, Validable e) => Validable (a, b, c, d, e) Source #
Instance details Defined in OAlg.Data.Validable Methods valid :: (a, b, c, d, e) -> Statement Source #
(Distributive a, XStandardOrtPerspective p a, Typeable p, Typeable t, Typeable n, Typeable m) => Validable (LimesFree Dst p t n m a) Source #
Instance details Defined in OAlg.Entity.Slice.Free Methods valid :: LimesFree Dst p t n m a -> Statement Source #
Validable (Cone s p t n m a) Source #
Instance details Defined in OAlg.Limes.Cone.Definition Methods valid :: Cone s p t n m a -> Statement Source #
Distributive a => Validable (ConeZeroHead s p d n ('S m) a) Source #
Instance details Defined in OAlg.Limes.Cone.Definition Methods valid :: ConeZeroHead s p d n ('S m) a -> Statement Source #
Oriented a => Validable (EligibleFactor s p t n m a) Source #
Instance details Defined in OAlg.Limes.Cone.EligibleFactor Methods valid :: EligibleFactor s p t n m a -> Statement Source #
(Distributive a, XStandardOrtPerspective p a, Typeable p, Typeable t, Typeable n, Typeable m) => Validable (Limes Dst p t n m a) Source #
Instance details Defined in OAlg.Limes.Definition Methods valid :: Limes Dst p t n m a -> Statement Source #
(Multiplicative a, XStandardOrtPerspective p a) => Validable (Limes Mlt p t n m a) Source #
Instance details Defined in OAlg.Limes.Definition Methods valid :: Limes Mlt p t n m a -> Statement Source #
(Distributive a, XStandard (Diagram t n m a), XStandardOrtPerspective p a) => Validable (Limits Dst p t n m a) Source #
Instance details Defined in OAlg.Limes.Limits Methods valid :: Limits Dst p t n m a -> Statement Source #
(Multiplicative a, XStandard (Diagram t n m a), XStandardOrtPerspective p a) => Validable (Limits Mlt p t n m a) Source #
Instance details Defined in OAlg.Limes.Limits Methods valid :: Limits Mlt p t n m a -> Statement Source #
(Oriented c, Validable (Limes s p t n m c)) => Validable (LimesSlicedTip i s p t n m c) Source #
Instance details Defined in OAlg.Entity.Slice.Definition Methods valid :: LimesSlicedTip i s p t n m c -> Statement Source #

rnfValid :: NFData x => x -> Statement Source #

validation of being reducible to normal form.

class Validable1 p where Source #

validation of a value of p x.

Minimal complete definition

Nothing

Methods

valid1 :: p x -> Statement Source #

default valid1 :: Validable (p x) => p x -> Statement Source #

Instances

Instances details

Validable1 (Proxy :: Type -> Type) Source #
Instance details Defined in OAlg.Data.Validable Methods valid1 :: Proxy x -> Statement Source #
Validable1 (Free k) Source #
Instance details Defined in OAlg.Entity.Slice.Free Methods valid1 :: Free k x -> Statement Source #
Validable1 (Struct s) Source #
Instance details Defined in OAlg.Data.Validable Methods valid1 :: Struct s x -> Statement Source #

class Validable2 h where Source #

validation of a value of h x y.

Minimal complete definition

Nothing

Methods

valid2 :: h x y -> Statement Source #

default valid2 :: Validable (h x y) => h x y -> Statement Source #

Instances

Instances details

Validable2 Empty2 Source #
Instance details Defined in OAlg.Entity.Definition Methods valid2 :: Empty2 x y -> Statement Source #
Validable2 GLApp Source #
Instance details Defined in OAlg.Entity.Matrix.GeneralLinearGroup Methods valid2 :: GLApp x y -> Statement Source #
Validable2 TrApp Source #
Instance details Defined in OAlg.Entity.Matrix.GeneralLinearGroup Methods valid2 :: TrApp x y -> Statement Source #
(Morphism m, Validable2 m) => Validable2 (Path m) Source #
Instance details Defined in OAlg.Category.Path Methods valid2 :: Path m x y -> Statement Source #
Validable2 h => Validable2 (Op2 h) Source #
Instance details Defined in OAlg.Data.Validable Methods valid2 :: Op2 h x y -> Statement Source #
Semiring r => Validable2 (HomSymbol r) Source #
Instance details Defined in OAlg.Entity.Matrix.Vector Methods valid2 :: HomSymbol r x y -> Statement Source #
Validable2 (SliceFactorDrop s) Source #
Instance details Defined in OAlg.Entity.Slice.Definition Methods valid2 :: SliceFactorDrop s x y -> Statement Source #
Validable2 (HomOp s) Source #
Instance details Defined in OAlg.Hom.Oriented.Definition Methods valid2 :: HomOp s x y -> Statement Source #
Validable2 (IdHom s) Source #
Instance details Defined in OAlg.Hom.Oriented.Definition Methods valid2 :: IdHom s x y -> Statement Source #
Validable2 (IsoOp s) Source #
Instance details Defined in OAlg.Hom.Oriented.Definition Methods valid2 :: IsoOp s x y -> Statement Source #
Validable2 h => Validable2 (OpHom h) Source #
Instance details Defined in OAlg.Hom.Oriented.Definition Methods valid2 :: OpHom h x y -> Statement Source #
Validable2 m => Validable2 (Forget t m) Source #
Instance details Defined in OAlg.Data.Validable Methods valid2 :: Forget t m x y -> Statement Source #
(Validable2 f, Validable2 g) => Validable2 (Either2 f g) Source #
Instance details Defined in OAlg.Data.Validable Methods valid2 :: Either2 f g x y -> Statement Source #
Validable2 (SliceCokernelKernel i c) Source #
Instance details Defined in OAlg.Entity.Slice.Adjunction Methods valid2 :: SliceCokernelKernel i c x y -> Statement Source #
Validable2 (IsoOpMap f s) Source #
Instance details Defined in OAlg.Hom.Oriented.Definition Methods valid2 :: IsoOpMap f s x y -> Statement Source #
Validable2 (OpMap f s) Source #
Instance details Defined in OAlg.Hom.Oriented.Definition Methods valid2 :: OpMap f s x y -> Statement Source #

XStandard

class Validable x => XStandard x where Source #

standard random variable for x.

Property For all x in the range of xStandard holds: valid x.

Methods

xStandard :: X x Source #

Instances

Instances details

XStandard N Source #
Instance details Defined in OAlg.Data.Validable Methods xStandard :: X N Source #
XStandard Q Source #
Instance details Defined in OAlg.Data.Validable Methods xStandard :: X Q Source #
XStandard Z Source #
Instance details Defined in OAlg.Data.Validable Methods xStandard :: X Z Source #
XStandard Symbol Source #
Instance details Defined in OAlg.Data.Symbol Methods xStandard :: X Symbol Source #
XStandard () Source #
Instance details Defined in OAlg.Data.Validable Methods xStandard :: X () Source #
XStandard p => XStandard (Orientation p) Source #
Instance details Defined in OAlg.Structure.Oriented.Definition Methods xStandard :: X (Orientation p) Source #
(Oriented x, () ~ Point x) => XStandard (Dim x ()) Source #
Instance details Defined in OAlg.Entity.Matrix.Dim Methods xStandard :: X (Dim x ()) Source #
(Multiplicative c, Sliced i c, XStandardOrtSite 'From c) => XStandard (Slice 'From i c) Source #
Instance details Defined in OAlg.Entity.Slice.Definition Methods xStandard :: X (Slice 'From i c) Source #
(Multiplicative c, Sliced i c, XStandardOrtSite 'To c) => XStandard (Slice 'To i c) Source #
Instance details Defined in OAlg.Entity.Slice.Definition Methods xStandard :: X (Slice 'To i c) Source #
(Multiplicative c, Sliced i c, XStandardOrtSite 'From c) => XStandard (SliceFactor 'From i c) Source #
Instance details Defined in OAlg.Entity.Slice.Definition Methods xStandard :: X (SliceFactor 'From i c) Source #
(Multiplicative c, Sliced i c, XStandardOrtSite 'To c) => XStandard (SliceFactor 'To i c) Source #
Instance details Defined in OAlg.Entity.Slice.Definition Methods xStandard :: X (SliceFactor 'To i c) Source #
(Oriented a, XStandardOrtSite 'From a, Attestable m) => XStandard (Diagram ('Chain 'From) ('S m) m a) Source #
Instance details Defined in OAlg.Entity.Diagram.Definition Methods xStandard :: X (Diagram ('Chain 'From) ('S m) m a) Source #
(Oriented a, XStandardOrtSite 'To a, Attestable m) => XStandard (Diagram ('Chain 'To) ('S m) m a) Source #
Instance details Defined in OAlg.Entity.Diagram.Definition Methods xStandard :: X (Diagram ('Chain 'To) ('S m) m a) Source #
(Oriented a, m ~ N0, XStandardPoint a, Attestable n) => XStandard (Diagram 'Discrete n m a) Source #
Instance details Defined in OAlg.Entity.Diagram.Definition Methods xStandard :: X (Diagram 'Discrete n m a) Source #
(Oriented a, n ~ N0, m ~ N0) => XStandard (Diagram 'Empty n m a) Source #
Instance details Defined in OAlg.Entity.Diagram.Definition Methods xStandard :: X (Diagram 'Empty n m a) Source #
(Oriented a, n ~ N2, XStandardOrtOrientation a, Attestable m) => XStandard (Diagram ('Parallel 'LeftToRight) n m a) Source #
Instance details Defined in OAlg.Entity.Diagram.Definition Methods xStandard :: X (Diagram ('Parallel 'LeftToRight) n m a) Source #
(Oriented a, n ~ N2, XStandardOrtOrientation a, Attestable m) => XStandard (Diagram ('Parallel 'RightToLeft) n m a) Source #
Instance details Defined in OAlg.Entity.Diagram.Definition Methods xStandard :: X (Diagram ('Parallel 'RightToLeft) n m a) Source #
(Oriented a, XStandardOrtSite 'From a, Attestable m) => XStandard (Diagram ('Star 'From) ('S m) m a) Source #
Instance details Defined in OAlg.Entity.Diagram.Definition Methods xStandard :: X (Diagram ('Star 'From) ('S m) m a) Source #
(Oriented a, XStandardOrtSite 'To a, Attestable m) => XStandard (Diagram ('Star 'To) ('S m) m a) Source #
Instance details Defined in OAlg.Entity.Diagram.Definition Methods xStandard :: X (Diagram ('Star 'To) ('S m) m a) Source #
(Entity p, t ~ 'Parallel 'RightToLeft, n ~ N2, XStandard p, XStandard (Diagram t n m (Orientation p))) => XStandard (Cone Dst 'Injective t n m (Orientation p)) Source #
Instance details Defined in OAlg.Limes.Cone.Definition Methods xStandard :: X (Cone Dst 'Injective t n m (Orientation p)) Source #
(Entity p, t ~ 'Parallel 'LeftToRight, n ~ N2, XStandard p, XStandard (Diagram t n m (Orientation p))) => XStandard (Cone Dst 'Projective t n m (Orientation p)) Source #
Instance details Defined in OAlg.Limes.Cone.Definition Methods xStandard :: X (Cone Dst 'Projective t n m (Orientation p)) Source #
(Entity p, XStandard p, XStandard (Diagram t n m (Orientation p))) => XStandard (Cone Mlt 'Injective t n m (Orientation p)) Source #
Instance details Defined in OAlg.Limes.Cone.Definition Methods xStandard :: X (Cone Mlt 'Injective t n m (Orientation p)) Source #
(Entity p, XStandard p, XStandard (Diagram t n m (Orientation p))) => XStandard (Cone Mlt 'Projective t n m (Orientation p)) Source #
Instance details Defined in OAlg.Limes.Cone.Definition Methods xStandard :: X (Cone Mlt 'Projective t n m (Orientation p)) Source #

relXStandard :: XStandard x => p x -> Statement Source #

validity of the standard random variable associated to x (p x just serves as proxy and will not be evaluated).