Data.Ext.Multi

A pair-like data type to represent a core type that has extra information as well.

Documentation

data family core :+ (extras :: [*]) :: * infixr 1

Instances

Eq core => Eq (core :+ ('[] :: [Type]))

Defined in Data.Ext.Multi

Methods

(==) :: (core :+ '[]) -> (core :+ '[]) -> Bool

(/=) :: (core :+ '[]) -> (core :+ '[]) -> Bool

Ord core => Ord (core :+ ('[] :: [Type]))

Defined in Data.Ext.Multi

Methods

compare :: (core :+ '[]) -> (core :+ '[]) -> Ordering

(<) :: (core :+ '[]) -> (core :+ '[]) -> Bool

(<=) :: (core :+ '[]) -> (core :+ '[]) -> Bool

(>) :: (core :+ '[]) -> (core :+ '[]) -> Bool

(>=) :: (core :+ '[]) -> (core :+ '[]) -> Bool

max :: (core :+ '[]) -> (core :+ '[]) -> core :+ '[]

min :: (core :+ '[]) -> (core :+ '[]) -> core :+ '[]

Show core => Show (core :+ ('[] :: [Type]))

Defined in Data.Ext.Multi

Methods

showsPrec :: Int -> (core :+ '[]) -> ShowS

show :: (core :+ '[]) -> String

showList :: [core :+ '[]] -> ShowS

Generic (core :+ ('[] :: [Type]))

Defined in Data.Ext.Multi

Associated Types

type Rep (core :+ '[]) :: Type -> Type

Methods

from :: (core :+ '[]) -> Rep (core :+ '[]) x

to :: Rep (core :+ '[]) x -> core :+ '[]

Arbitrary core => Arbitrary (core :+ ('[] :: [Type]))

Defined in Data.Ext.Multi

Methods

arbitrary :: Gen (core :+ '[])

shrink :: (core :+ '[]) -> [core :+ '[]]

NFData core => NFData (core :+ ('[] :: [Type]))

Defined in Data.Ext.Multi

Methods

rnf :: (core :+ '[]) -> ()

newtype core :+ ('[] :: [Type])

Defined in Data.Ext.Multi

newtype core :+ ('[] :: [Type]) = Only core

data core :+ (t ': ts)

Defined in Data.Ext.Multi

data core :+ (t ': ts) = WithExtra !core (HList (t ': ts))

type Rep (core :+ ('[] :: [Type]))

Defined in Data.Ext.Multi

type Rep (core :+ ('[] :: [Type])) = D1 ('MetaData ":+" "Data.Ext.Multi" "hgeometry-combinatorial-0.12.0.2-BPOszceZMWb3Na6sqXbM08" 'True) (C1 ('MetaCons "Only" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 core)))

pattern (:+) :: c -> HList (e ': extras) -> c :+ (e ': extras) infixr 1

ext :: c -> c :+ '[]

class HasCore extras where

Methods

core :: Lens (core :+ extras) (core' :+ extras) core core'

Instances

HasCore ('[] :: [Type])

Defined in Data.Ext.Multi

Methods

core :: Lens (core :+ '[]) (core' :+ '[]) core core'

HasCore (t ': ts)

Defined in Data.Ext.Multi

Methods

core :: Lens (core :+ (t ': ts)) (core' :+ (t ': ts)) core core'

class HasExtras extras extras' where

Methods

extra :: Lens (core :+ extras) (core :+ extras') (HList extras) (HList extras')

Instances

HasExtras ('[] :: [Type]) ('[] :: [Type])

Defined in Data.Ext.Multi

Methods

extra :: Lens (core :+ '[]) (core :+ '[]) (HList '[]) (HList '[])

HasExtras ('[] :: [Type]) (t ': ts)

Defined in Data.Ext.Multi

Methods

extra :: Lens (core :+ '[]) (core :+ (t ': ts)) (HList '[]) (HList (t ': ts))

HasExtras (t ': ts) ('[] :: [Type])

Defined in Data.Ext.Multi

Methods

extra :: Lens (core :+ (t ': ts)) (core :+ '[]) (HList (t ': ts)) (HList '[])

HasExtras (t ': ts) (a ': as)

Defined in Data.Ext.Multi

Methods

extra :: Lens (core :+ (t ': ts)) (core :+ (a ': as)) (HList (t ': ts)) (HList (a ': as))