Data.Aztecs.Entity

Documentation

data Entity (ts :: [Type]) where

Constructors

ENil :: Entity '[]

ECons :: t -> Entity ts -> Entity (t ': ts)

Instances

FromEntity (Entity ts)

Defined in Data.Aztecs.Entity

Methods

fromEntity :: Entity (EntityT (Entity ts)) -> Entity ts

ToEntity (Entity ts)

Defined in Data.Aztecs.Entity

Methods

toEntity :: Entity ts -> Entity (EntityT (Entity ts))

(Show a, Show' (Entity as)) => Show (Entity (a ': as))

Defined in Data.Aztecs.Entity

Methods

showsPrec :: Int -> Entity (a ': as) -> ShowS

show :: Entity (a ': as) -> String

showList :: [Entity (a ': as)] -> ShowS

Show (Entity ('[] :: [Type]))

Defined in Data.Aztecs.Entity

Methods

showsPrec :: Int -> Entity '[] -> ShowS

show :: Entity '[] -> String

showList :: [Entity '[]] -> ShowS

type family EntityT a where ...

Equations

EntityT (a :& b) = a ': EntityT b

EntityT (Entity ts) = ts

EntityT a = '[a]

class FromEntity a where

Methods

fromEntity :: Entity (EntityT a) -> a

Instances

EntityT a ~ '[a] => FromEntity a

Defined in Data.Aztecs.Entity

Methods

fromEntity :: Entity (EntityT a) -> a

FromEntity (Entity ts)

Defined in Data.Aztecs.Entity

Methods

fromEntity :: Entity (EntityT (Entity ts)) -> Entity ts

(FromEntity a, FromEntity b, EntityT (a :& b) ~ (a ': EntityT b)) => FromEntity (a :& b)

Defined in Data.Aztecs.Entity

Methods

fromEntity :: Entity (EntityT (a :& b)) -> a :& b

class ToEntity a where

Methods

toEntity :: a -> Entity (EntityT a)

Instances

EntityT a ~ '[a] => ToEntity a

Defined in Data.Aztecs.Entity

Methods

toEntity :: a -> Entity (EntityT a)

ToEntity (Entity ts)

Defined in Data.Aztecs.Entity

Methods

toEntity :: Entity ts -> Entity (EntityT (Entity ts))

(ToEntity a, ToEntity b, EntityT (a :& b) ~ (a ': EntityT b)) => ToEntity (a :& b)

Defined in Data.Aztecs.Entity

Methods

toEntity :: (a :& b) -> Entity (EntityT (a :& b))

type family ConcatT (a :: [Type]) (b :: [Type]) where ...

Equations

ConcatT '[] b = b

ConcatT (a ': as) b = a ': ConcatT as b

type family IntersectT (a :: [Type]) (b :: [Type]) :: [Type] where ...

Equations

IntersectT '[] b = '[]

IntersectT (a ': as) b = If (ElemT a b) (a ': IntersectT as b) (IntersectT as b)

class Intersect (a :: [Type]) (b :: [Type]) where

Methods

intersect :: Entity a -> Entity b -> Entity (IntersectT a b)

Instances

Intersect ('[] :: [Type]) b

Defined in Data.Aztecs.Entity

Methods

intersect :: Entity '[] -> Entity b -> Entity (IntersectT '[] b)

Intersect' (ElemT a bs) (a ': as) bs => Intersect (a ': as) bs

Defined in Data.Aztecs.Entity

Methods

intersect :: Entity (a ': as) -> Entity bs -> Entity (IntersectT (a ': as) bs)

type family DifferenceT (a :: [Type]) (b :: [Type]) :: [Type] where ...

Equations

DifferenceT '[] b = '[]

DifferenceT (a ': as) b = If (ElemT a b) (DifferenceT as b) (a ': DifferenceT as b)

class Difference (a :: [Type]) (b :: [Type]) where

Methods

difference :: Entity a -> Entity b -> Entity (DifferenceT a b)

Instances

Difference ('[] :: [Type]) b

Defined in Data.Aztecs.Entity

Methods

difference :: Entity '[] -> Entity b -> Entity (DifferenceT '[] b)

Difference' (ElemT a bs) (a ': as) bs => Difference (a ': as) bs

Defined in Data.Aztecs.Entity

Methods

difference :: Entity (a ': as) -> Entity bs -> Entity (DifferenceT (a ': as) bs)

type family SplitT (a :: [Type]) (b :: [Type]) :: [Type] where ...

Equations

SplitT '[] bs = bs

SplitT (a ': as) (a ': bs) = SplitT as bs

class Split (a :: [Type]) (b :: [Type]) where

Methods

split :: Entity b -> (Entity a, Entity (SplitT a b))

Instances

Split ('[] :: [Type]) bs

Defined in Data.Aztecs.Entity

Methods

split :: Entity bs -> (Entity '[], Entity (SplitT '[] bs))

Split as bs => Split (a ': as) (a ': bs)

Defined in Data.Aztecs.Entity

Methods

split :: Entity (a ': bs) -> (Entity (a ': as), Entity (SplitT (a ': as) (a ': bs)))

concat :: Entity as -> Entity bs -> Entity (ConcatT as bs)

(<&>) :: Entity as -> a -> Entity (a : as)

data a :& b

Constructors

a :& b

Instances

(FromEntity a, FromEntity b, EntityT (a :& b) ~ (a ': EntityT b)) => FromEntity (a :& b)

Defined in Data.Aztecs.Entity

Methods

fromEntity :: Entity (EntityT (a :& b)) -> a :& b

(ToEntity a, ToEntity b, EntityT (a :& b) ~ (a ': EntityT b)) => ToEntity (a :& b)

Defined in Data.Aztecs.Entity

Methods

toEntity :: (a :& b) -> Entity (EntityT (a :& b))