Symantic.Typed.Data

Type SomeData

data SomeData repr a

Constructors

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

Instances

(Constantable c repr, Typeable c) => Constantable c (SomeData repr)

Defined in Symantic.Typed.Data

Methods

constant :: c -> SomeData repr c

Derivable (SomeData repr)

Defined in Symantic.Typed.Data

Methods

derive :: SomeData repr a -> Derived (SomeData repr) a

Maybeable repr => Maybeable (SomeData repr)

Defined in Symantic.Typed.Data

Methods

nothing :: SomeData repr (Maybe a)

just :: SomeData repr (a -> Maybe a)

Listable repr => Listable (SomeData repr)

Defined in Symantic.Typed.Data

Methods

cons :: SomeData repr (a -> [a] -> [a])

nil :: SomeData repr [a]

IfThenElseable repr => IfThenElseable (SomeData repr)

Defined in Symantic.Typed.Data

Methods

ifThenElse :: SomeData repr Bool -> SomeData repr a -> SomeData repr a -> SomeData repr a

Equalable repr => Equalable (SomeData repr)

Defined in Symantic.Typed.Data

Methods

equal :: Eq a => SomeData repr (a -> a -> Bool)

Eitherable repr => Eitherable (SomeData repr)

Defined in Symantic.Typed.Data

Methods

left :: SomeData repr (l -> Either l r)

right :: SomeData repr (r -> Either l r)

Anythingable (SomeData repr)

Defined in Symantic.Typed.Data

Methods

anything :: SomeData repr a -> SomeData repr a

Abstractable repr => Abstractable (SomeData repr)

Defined in Symantic.Typed.Data

Methods

(.@) :: SomeData repr (a -> b) -> SomeData repr a -> SomeData repr b

lam :: (SomeData repr a -> SomeData repr b) -> SomeData repr (a -> b)

lam1 :: (SomeData repr a -> SomeData repr b) -> SomeData repr (a -> b)

const :: SomeData repr (a -> b -> a)

flip :: SomeData repr ((a -> b -> c) -> b -> a -> c)

id :: SomeData repr (a -> a)

(.) :: SomeData repr ((b -> c) -> (a -> b) -> a -> c)

($) :: SomeData repr ((a -> b) -> a -> b)

var :: SomeData repr a -> SomeData repr a

Show (SomeData View a)

Defined in Symantic.Typed.View

Methods

showsPrec :: Int -> SomeData View a -> ShowS

show :: SomeData View a -> String

showList :: [SomeData View a] -> ShowS

type Derived (SomeData repr)

Defined in Symantic.Typed.Data

type Derived (SomeData repr) = repr

Type TypedRepr

type TypedRepr = Type -> Type

Type Data

data family Data (able :: TypedRepr -> Constraint) :: TypedRepr -> TypedRepr infixr 4

Instances

Constantable c (Data (Constantable c) repr)

Defined in Symantic.Typed.Data

Methods

constant :: c -> Data (Constantable c) repr c

Maybeable repr => Derivable (Data Maybeable repr)

Defined in Symantic.Typed.Data

Methods

derive :: Data Maybeable repr a -> Derived (Data Maybeable repr) a

Listable repr => Derivable (Data Listable repr)

Defined in Symantic.Typed.Data

Methods

derive :: Data Listable repr a -> Derived (Data Listable repr) a

IfThenElseable repr => Derivable (Data IfThenElseable repr)

Defined in Symantic.Typed.Data

Methods

derive :: Data IfThenElseable repr a -> Derived (Data IfThenElseable repr) a

Equalable repr => Derivable (Data Equalable repr)

Defined in Symantic.Typed.Data

Methods

derive :: Data Equalable repr a -> Derived (Data Equalable repr) a

Eitherable repr => Derivable (Data Eitherable repr)

Defined in Symantic.Typed.Data

Methods

derive :: Data Eitherable repr a -> Derived (Data Eitherable repr) a

Constantable c repr => Derivable (Data (Constantable c) repr)

Defined in Symantic.Typed.Data

Methods

derive :: Data (Constantable c) repr a -> Derived (Data (Constantable c) repr) a

Bottomable repr => Derivable (Data Bottomable repr)

Defined in Symantic.Typed.Data

Methods

derive :: Data Bottomable repr a -> Derived (Data Bottomable repr) a

Anythingable repr => Derivable (Data Anythingable repr)

Defined in Symantic.Typed.Data

Methods

derive :: Data Anythingable repr a -> Derived (Data Anythingable repr) a

Abstractable repr => Derivable (Data Abstractable repr)

Defined in Symantic.Typed.Data

Methods

derive :: Data Abstractable repr a -> Derived (Data Abstractable repr) a

Maybeable (Data Maybeable repr)

Defined in Symantic.Typed.Data

Methods

nothing :: Data Maybeable repr (Maybe a)

just :: Data Maybeable repr (a -> Maybe a)

Listable (Data Listable repr)

Defined in Symantic.Typed.Data

Methods

cons :: Data Listable repr (a -> [a] -> [a])

nil :: Data Listable repr [a]

IfThenElseable repr => IfThenElseable (Data IfThenElseable repr)

Defined in Symantic.Typed.Data

Methods

ifThenElse :: Data IfThenElseable repr Bool -> Data IfThenElseable repr a -> Data IfThenElseable repr a -> Data IfThenElseable repr a

Equalable (Data Equalable repr)

Defined in Symantic.Typed.Data

Methods

equal :: Eq a => Data Equalable repr (a -> a -> Bool)

Eitherable (Data Eitherable repr)

Defined in Symantic.Typed.Data

Methods

left :: Data Eitherable repr (l -> Either l r)

right :: Data Eitherable repr (r -> Either l r)

Anythingable (Data Anythingable repr)

Defined in Symantic.Typed.Data

Methods

anything :: Data Anythingable repr a -> Data Anythingable repr a

data Data Maybeable repr a

Defined in Symantic.Typed.Data

data Data Maybeable repr a where

• Nothing :: forall (repr :: TypedRepr) a. Data Maybeable repr (Maybe a)
• Just :: forall (repr :: TypedRepr) a. Data Maybeable repr (a -> Maybe a)

data Data Listable repr a

Defined in Symantic.Typed.Data

data Data Listable repr a where

• Cons :: forall (repr :: TypedRepr) a. Data Listable repr (a -> [a] -> [a])
• Nil :: forall (repr :: TypedRepr) a. Data Listable repr [a]

data Data IfThenElseable repr a

Defined in Symantic.Typed.Data

data Data IfThenElseable repr a where

• IfThenElse :: forall (repr :: TypedRepr) a. SomeData repr Bool -> SomeData repr a -> SomeData repr a -> Data IfThenElseable repr a

data Data Equalable repr a

Defined in Symantic.Typed.Data

data Data Equalable repr a where

• Equal :: forall a (repr :: TypedRepr). Eq a => Data Equalable repr (a -> a -> Bool)

data Data Eitherable repr a

Defined in Symantic.Typed.Data

data Data Eitherable repr a where

• Left :: forall (repr :: TypedRepr) l r. Data Eitherable repr (l -> Either l r)
• Right :: forall (repr :: TypedRepr) r l. Data Eitherable repr (r -> Either l r)

data Data Bottomable repr a

Defined in Symantic.Typed.Data

data Data Bottomable repr a where

• Bottom :: forall (repr :: TypedRepr) a. Data Bottomable repr a

data Data Anythingable repr a

Defined in Symantic.Typed.Data

data Data Anythingable repr a where

• Anything :: forall (repr :: Type -> Type) a. repr a -> Data Anythingable repr a

data Data Abstractable repr a

Defined in Symantic.Typed.Data

data Data Abstractable repr a where

• (:@) :: forall (repr :: TypedRepr) a b. SomeData repr (a -> b) -> SomeData repr a -> Data Abstractable repr b
• Lam :: forall (repr :: TypedRepr) a b. (SomeData repr a -> SomeData repr b) -> Data Abstractable repr (a -> b)
• Lam1 :: forall (repr :: TypedRepr) 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

Defined in Symantic.Typed.Data

data Data (Constantable c) repr a where

• Constant :: forall c (repr :: TypedRepr). c -> Data (Constantable c) repr c

type Derived (Data able repr)

Defined in Symantic.Typed.Data

type Derived (Data able repr) = repr

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

Convenient utility to pattern-match a SomeData.

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

(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.