Generics.Eot.Eot

Documentation

class HasEotG (a :: * -> *) where

Associated Types

type EotG a :: *

Methods

toEotG :: a x -> EotG a

fromEotG :: EotG a -> a x

Instances

HasConstructorsG f => HasEotG (D1 c f)

Defined in Generics.Eot.Eot

Associated Types

type EotG (D1 c f)

Methods

toEotG :: D1 c f x -> EotG (D1 c f)

fromEotG :: EotG (D1 c f) -> D1 c f x

data Named (a :: Symbol) field

Constructors

Named field

Instances

Show field => Show (Named a field)

Defined in Generics.Eot.Eot

Methods

showsPrec :: Int -> Named a field -> ShowS

show :: Named a field -> String

showList :: [Named a field] -> ShowS