Safe Haskell	None
Language	Haskell2010

Symantic.Data

Contents

Type SomeData
- Type Data

Synopsis

data SomeData repr a = forall able.(Derivable (Data able repr), Typeable able) => SomeData (Data able repr a)
data family Data (able :: ReprKind -> Constraint) :: ReprKind -> ReprKind
pattern Data :: Typeable able => Data able repr a -> SomeData repr a
unSomeData :: forall able repr a. Typeable able => SomeData repr a -> Maybe (Data able repr a)

Type `SomeData`

data SomeData repr a Source #

Constructors

forall able.(Derivable (Data able repr), Typeable able) => SomeData (Data able repr a)

Instances

Instances details

(Constantable c repr, Typeable c) => Constantable c (SomeData repr) Source #
Instance details Defined in Symantic.Data Methods constant :: c -> SomeData repr c Source #
Derivable (SomeData repr) Source #
Instance details Defined in Symantic.Data Methods derive :: SomeData repr a -> Derived (SomeData repr) a Source #
Semigroupable repr => Semigroupable (SomeData repr) Source #
Instance details Defined in Symantic.Data Methods concat :: Semigroup a => SomeData repr (a -> a -> a) Source #
Emptyable repr => Emptyable (SomeData repr) Source #
Instance details Defined in Symantic.Data Methods empty :: SomeData repr a Source #
Maybeable repr => Maybeable (SomeData repr) Source #
Instance details Defined in Symantic.Data Methods nothing :: SomeData repr (Maybe a) Source # just :: SomeData repr (a -> Maybe a) Source #
Listable repr => Listable (SomeData repr) Source #
Instance details Defined in Symantic.Data Methods cons :: SomeData repr (a -> [a] -> [a]) Source # nil :: SomeData repr [a] Source #
IfThenElseable repr => IfThenElseable (SomeData repr) Source #
Instance details Defined in Symantic.Data Methods ifThenElse :: SomeData repr Bool -> SomeData repr a -> SomeData repr a -> SomeData repr a Source #
Equalable repr => Equalable (SomeData repr) Source #
Instance details Defined in Symantic.Data Methods equal :: Eq a => SomeData repr (a -> a -> Bool) Source #
Eitherable repr => Eitherable (SomeData repr) Source #
Instance details Defined in Symantic.Data Methods left :: SomeData repr (l -> Either l r) Source # right :: SomeData repr (r -> Either l r) Source #
Anythingable (SomeData repr) Source #
Instance details Defined in Symantic.Data Methods anything :: SomeData repr a -> SomeData repr a Source #
Abstractable repr => Functionable (SomeData repr) Source #
Instance details Defined in Symantic.Data Methods const :: SomeData repr (a -> b -> a) Source # flip :: SomeData repr ((a -> b -> c) -> b -> a -> c) Source # id :: SomeData repr (a -> a) Source # (.) :: SomeData repr ((b -> c) -> (a -> b) -> a -> c) Source # ($) :: SomeData repr ((a -> b) -> a -> b) Source #
Abstractable repr => Abstractable (SomeData repr) Source #
Instance details Defined in Symantic.Data Methods lam :: (SomeData repr a -> SomeData repr b) -> SomeData repr (a -> b) Source # lam1 :: (SomeData repr a -> SomeData repr b) -> SomeData repr (a -> b) Source # var :: SomeData repr a -> SomeData repr a Source # (.@) :: SomeData repr (a -> b) -> SomeData repr a -> SomeData repr b Source #
Show (SomeData View a) Source #
Instance details Defined in Symantic.View Methods showsPrec :: Int -> SomeData View a -> ShowS # show :: SomeData View a -> String # showList :: [SomeData View a] -> ShowS #
type Derived (SomeData repr) Source #
Instance details Defined in Symantic.Data type Derived (SomeData repr) = repr

Type `Data`

data family Data (able :: ReprKind -> Constraint) :: ReprKind -> ReprKind infixr 4 `Cons`, `Concat` Source #

Instances

Instances details

Constantable c (Data (Constantable c) repr) Source #
Instance details Defined in Symantic.Data Methods constant :: c -> Data (Constantable c) repr c Source #
Semigroupable repr => Derivable (Data Semigroupable repr) Source #
Instance details Defined in Symantic.Data Methods derive :: Data Semigroupable repr a -> Derived (Data Semigroupable repr) a Source #
Emptyable repr => Derivable (Data Emptyable repr) Source #
Instance details Defined in Symantic.Data Methods derive :: Data Emptyable repr a -> Derived (Data Emptyable repr) a Source #
Maybeable repr => Derivable (Data Maybeable repr) Source #
Instance details Defined in Symantic.Data Methods derive :: Data Maybeable repr a -> Derived (Data Maybeable repr) a Source #
Listable repr => Derivable (Data Listable repr) Source #
Instance details Defined in Symantic.Data Methods derive :: Data Listable repr a -> Derived (Data Listable repr) a Source #
IfThenElseable repr => Derivable (Data IfThenElseable repr) Source #
Instance details Defined in Symantic.Data Methods derive :: Data IfThenElseable repr a -> Derived (Data IfThenElseable repr) a Source #
Equalable repr => Derivable (Data Equalable repr) Source #
Instance details Defined in Symantic.Data Methods derive :: Data Equalable repr a -> Derived (Data Equalable repr) a Source #
Eitherable repr => Derivable (Data Eitherable repr) Source #
Instance details Defined in Symantic.Data Methods derive :: Data Eitherable repr a -> Derived (Data Eitherable repr) a Source #
Constantable c repr => Derivable (Data (Constantable c) repr) Source #
Instance details Defined in Symantic.Data Methods derive :: Data (Constantable c) repr a -> Derived (Data (Constantable c) repr) a Source #
Bottomable repr => Derivable (Data Bottomable repr) Source #
Instance details Defined in Symantic.Data Methods derive :: Data Bottomable repr a -> Derived (Data Bottomable repr) a Source #
Anythingable repr => Derivable (Data Anythingable repr) Source #
Instance details Defined in Symantic.Data Methods derive :: Data Anythingable repr a -> Derived (Data Anythingable repr) a Source #
Abstractable repr => Derivable (Data Abstractable repr) Source #
Instance details Defined in Symantic.Data Methods derive :: Data Abstractable repr a -> Derived (Data Abstractable repr) a Source #
Semigroupable (Data Semigroupable repr) Source #
Instance details Defined in Symantic.Data Methods concat :: Semigroup a => Data Semigroupable repr (a -> a -> a) Source #
Emptyable (Data Emptyable repr) Source #
Instance details Defined in Symantic.Data Methods empty :: Data Emptyable repr a Source #
Maybeable (Data Maybeable repr) Source #
Instance details Defined in Symantic.Data Methods nothing :: Data Maybeable repr (Maybe a) Source # just :: Data Maybeable repr (a -> Maybe a) Source #
Listable (Data Listable repr) Source #
Instance details Defined in Symantic.Data Methods cons :: Data Listable repr (a -> [a] -> [a]) Source # nil :: Data Listable repr [a] Source #
IfThenElseable repr => IfThenElseable (Data IfThenElseable repr) Source #
Instance details Defined in Symantic.Data Methods ifThenElse :: Data IfThenElseable repr Bool -> Data IfThenElseable repr a -> Data IfThenElseable repr a -> Data IfThenElseable repr a Source #
Equalable (Data Equalable repr) Source #
Instance details Defined in Symantic.Data Methods equal :: Eq a => Data Equalable repr (a -> a -> Bool) Source #
Eitherable (Data Eitherable repr) Source #
Instance details Defined in Symantic.Data Methods left :: Data Eitherable repr (l -> Either l r) Source # right :: Data Eitherable repr (r -> Either l r) Source #
Anythingable (Data Anythingable repr) Source #
Instance details Defined in Symantic.Data Methods anything :: Data Anythingable repr a -> Data Anythingable repr a Source #
data Data Semigroupable repr a Source #
Instance details Defined in Symantic.Data data Data Semigroupable repr a where Concat :: forall a (repr :: ReprKind). Semigroup a => Data Semigroupable repr (a -> a -> a)
data Data Emptyable repr a Source #
Instance details Defined in Symantic.Data data Data Emptyable repr a where Empty :: forall (repr :: ReprKind) a. Data Emptyable repr a
data Data Maybeable repr a Source #
Instance details Defined in Symantic.Data data Data Maybeable repr a where Nothing :: forall (repr :: ReprKind) a. Data Maybeable repr (Maybe a) Just :: forall (repr :: ReprKind) a. Data Maybeable repr (a -> Maybe a)
data Data Listable repr a Source #
Instance details Defined in Symantic.Data data Data Listable repr a where Cons :: forall (repr :: ReprKind) a. Data Listable repr (a -> [a] -> [a]) Nil :: forall (repr :: ReprKind) a. Data Listable repr [a]
data Data IfThenElseable repr a Source #
Instance details Defined in Symantic.Data data Data IfThenElseable repr a where IfThenElse :: forall (repr :: ReprKind) a. SomeData repr Bool -> SomeData repr a -> SomeData repr a -> Data IfThenElseable repr a
data Data Equalable repr a Source #
Instance details Defined in Symantic.Data data Data Equalable repr a where Equal :: forall a (repr :: ReprKind). Eq a => Data Equalable repr (a -> a -> Bool)
data Data Eitherable repr a Source #
Instance details Defined in Symantic.Data data Data Eitherable repr a where Left :: forall (repr :: ReprKind) l r. Data Eitherable repr (l -> Either l r) Right :: forall (repr :: ReprKind) r l. Data Eitherable repr (r -> Either l r)
data Data Bottomable repr a Source #
Instance details Defined in Symantic.Data data Data Bottomable repr a where Bottom :: forall (repr :: ReprKind) a. Data Bottomable repr a
data Data Anythingable repr a Source #
Instance details Defined in Symantic.Data data Data Anythingable repr a where Anything :: forall (repr :: Type -> Type) a. repr a -> Data Anythingable repr a
data Data Abstractable repr a Source #
Instance details Defined in Symantic.Data data Data Abstractable repr a where (:@) :: forall (repr :: ReprKind) a b. SomeData repr (a -> b) -> SomeData repr a -> Data Abstractable repr b Lam :: forall (repr :: ReprKind) a b. (SomeData repr a -> SomeData repr b) -> Data Abstractable repr (a -> b) Lam1 :: forall (repr :: ReprKind) a b. (SomeData repr a -> SomeData repr b) -> Data Abstractable repr (a -> b) Var :: forall (repr :: Type -> Type) a. repr a -> Data Abstractable repr a
data Data (Constantable c) repr a Source #
Instance details Defined in Symantic.Data data Data (Constantable c) repr a where Constant :: forall c (repr :: ReprKind). c -> Data (Constantable c) repr c
type Derived (Data able repr) Source #
Instance details Defined in Symantic.Data type Derived (Data able repr) = repr

pattern Data :: Typeable able => Data able repr a -> SomeData repr a Source #

Convenient utility to pattern-match a SomeData.

unSomeData :: forall able repr a. Typeable able => SomeData repr a -> Maybe (Data able repr a) Source #

(unSomeData c :: Maybe (Data able repr a)) extract the data-constructor from the given SomeData iif. it belongs to the (Data able repr a) data-instance.

Type SomeData

Instances

Type Data

Instances

Type `SomeData`

Type `Data`