Safe Haskell	Trustworthy
Language	Haskell2010

Data.Structured.Internal

Synopsis

type TypeName = String
type ConstructorName = String
type TypeVersion = Word32
data Structure
- = Nominal !TypeRep !TypeVersion TypeName [Structure]
- | Newtype !TypeRep !TypeVersion TypeName Structure
- | Structure !TypeRep !TypeVersion TypeName SopStructure
type SopStructure = [(ConstructorName, [Structure])]
hashStructure :: Structure -> MD5
typeVersion :: Functor f => (TypeVersion -> f TypeVersion) -> Structure -> f Structure
typeName :: Functor f => (TypeName -> f TypeName) -> Structure -> f Structure
structureBuilder :: Structure -> Builder
class Typeable a => Structured a where
- structure :: Proxy a -> Structure
- structureHash' :: Tagged a MD5
structureHash :: forall a. Structured a => Proxy a -> MD5
nominalStructure :: Typeable a => Proxy a -> Structure
containerStructure :: forall f a. (Typeable f, Structured a) => Proxy (f a) -> Structure
genericStructure :: forall a. (Typeable a, Generic a, GStructured (Rep a)) => Proxy a -> Structure
class GStructured (f :: Type -> Type) where
- gstructured :: TypeRep -> Proxy f -> TypeVersion -> Structure
class GStructuredSum (f :: Type -> Type) where
- gstructuredSum :: Proxy f -> SopStructure -> SopStructure
class GStructuredProd (f :: Type -> Type) where
- gstructuredProd :: Proxy f -> [Structure] -> [Structure]

Documentation

type TypeName = String Source #

type ConstructorName = String Source #

type TypeVersion = Word32 Source #

A sematic version of a data type. Usually 0.

data Structure Source #

Structure of a datatype.

It can be infinite, as far as TypeReps involved are finite. (e.g. polymorphic recursion might cause troubles).

Constructors

Nominal !TypeRep !TypeVersion TypeName [Structure]	nominal, yet can be parametrised by other structures.
Newtype !TypeRep !TypeVersion TypeName Structure	a newtype wrapper
Structure !TypeRep !TypeVersion TypeName SopStructure	sum-of-products structure

Instances

Eq Structure Source #
Instance details Defined in Data.Structured.Internal Methods (==) :: Structure -> Structure -> Bool # (/=) :: Structure -> Structure -> Bool #
Ord Structure Source #
Instance details Defined in Data.Structured.Internal Methods compare :: Structure -> Structure -> Ordering # (<) :: Structure -> Structure -> Bool # (<=) :: Structure -> Structure -> Bool # (>) :: Structure -> Structure -> Bool # (>=) :: Structure -> Structure -> Bool # max :: Structure -> Structure -> Structure # min :: Structure -> Structure -> Structure #
Show Structure Source #
Instance details Defined in Data.Structured.Internal Methods showsPrec :: Int -> Structure -> ShowS # show :: Structure -> String # showList :: [Structure] -> ShowS #
Generic Structure Source #
Instance details Defined in Data.Structured.Internal Associated Types type Rep Structure :: Type -> Type # Methods from :: Structure -> Rep Structure x # to :: Rep Structure x -> Structure #
type Rep Structure Source #
Instance details Defined in Data.Structured.Internal type Rep Structure = D1 (MetaData "Structure" "Data.Structured.Internal" "structured-0.1-7OlXsBuGaoOHMb8ojbhIJr" False) (C1 (MetaCons "Nominal" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TypeRep) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TypeVersion)) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeName) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Structure]))) :+: (C1 (MetaCons "Newtype" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TypeRep) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TypeVersion)) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeName) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Structure))) :+: C1 (MetaCons "Structure" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TypeRep) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TypeVersion)) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeName) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SopStructure)))))

type SopStructure = [(ConstructorName, [Structure])] Source #

hashStructure :: Structure -> MD5 Source #

A MD5 hash digest of Structure.

typeVersion :: Functor f => (TypeVersion -> f TypeVersion) -> Structure -> f Structure Source #

A van-Laarhoven lens into TypeVersion of Structure

typeVersion :: Lens' Structure TypeVersion

typeName :: Functor f => (TypeName -> f TypeName) -> Structure -> f Structure Source #

A van-Laarhoven lens into TypeName of Structure

typeName :: Lens' Structure TypeName

structureBuilder :: Structure -> Builder Source #

Flatten Structure into something we can calculate hash of.

As Structure can be potentially infinite. For mutually recursive types, we keep track of TypeReps, and put just TypeRep name when it's occurred another time.

class Typeable a => Structured a where Source #

Class of types with a known Structure.

For regular data types Structured can be derived generically.

data Record = Record { a :: Int, b :: Bool, c :: [Char] } deriving (Generic)
instance Structured Record

Since: 3.2.0.0

Minimal complete definition

Nothing

Methods

structure :: Proxy a -> Structure Source #

structure :: (Generic a, GStructured (Rep a)) => Proxy a -> Structure Source #

structureHash' :: Tagged a MD5 Source #

Instances

Structured Bool Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Bool -> Structure Source # structureHash' :: Tagged Bool MD5 Source #
Structured Char Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Char -> Structure Source # structureHash' :: Tagged Char MD5 Source #
Structured Double Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Double -> Structure Source # structureHash' :: Tagged Double MD5 Source #
Structured Float Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Float -> Structure Source # structureHash' :: Tagged Float MD5 Source #
Structured Int Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Int -> Structure Source # structureHash' :: Tagged Int MD5 Source #
Structured Int8 Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Int8 -> Structure Source # structureHash' :: Tagged Int8 MD5 Source #
Structured Int16 Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Int16 -> Structure Source # structureHash' :: Tagged Int16 MD5 Source #
Structured Int32 Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Int32 -> Structure Source # structureHash' :: Tagged Int32 MD5 Source #
Structured Int64 Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Int64 -> Structure Source # structureHash' :: Tagged Int64 MD5 Source #
Structured Integer Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Integer -> Structure Source # structureHash' :: Tagged Integer MD5 Source #
Structured Natural Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Natural -> Structure Source # structureHash' :: Tagged Natural MD5 Source #
Structured Ordering Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Ordering -> Structure Source # structureHash' :: Tagged Ordering MD5 Source #
Structured Word Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Word -> Structure Source # structureHash' :: Tagged Word MD5 Source #
Structured Word8 Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Word8 -> Structure Source # structureHash' :: Tagged Word8 MD5 Source #
Structured Word16 Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Word16 -> Structure Source # structureHash' :: Tagged Word16 MD5 Source #
Structured Word32 Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Word32 -> Structure Source # structureHash' :: Tagged Word32 MD5 Source #
Structured Word64 Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Word64 -> Structure Source # structureHash' :: Tagged Word64 MD5 Source #
Structured () Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy () -> Structure Source # structureHash' :: Tagged () MD5 Source #
Structured ByteString Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy ByteString -> Structure Source # structureHash' :: Tagged ByteString MD5 Source #
Structured ByteString Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy ByteString -> Structure Source # structureHash' :: Tagged ByteString MD5 Source #
Structured Scientific Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Scientific -> Structure Source # structureHash' :: Tagged Scientific MD5 Source #
Structured Text Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Text -> Structure Source # structureHash' :: Tagged Text MD5 Source #
Structured UTCTime Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy UTCTime -> Structure Source # structureHash' :: Tagged UTCTime MD5 Source #
Structured Value Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Value -> Structure Source # structureHash' :: Tagged Value MD5 Source #
Structured Text Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Text -> Structure Source # structureHash' :: Tagged Text MD5 Source #
Structured Version Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Version -> Structure Source # structureHash' :: Tagged Version MD5 Source #
Structured All Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy All -> Structure Source # structureHash' :: Tagged All MD5 Source #
Structured Any Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Any -> Structure Source # structureHash' :: Tagged Any MD5 Source #
Structured ShortByteString Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy ShortByteString -> Structure Source # structureHash' :: Tagged ShortByteString MD5 Source #
Structured IntSet Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy IntSet -> Structure Source # structureHash' :: Tagged IntSet MD5 Source #
Structured LocalTime Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy LocalTime -> Structure Source # structureHash' :: Tagged LocalTime MD5 Source #
Structured TimeOfDay Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy TimeOfDay -> Structure Source # structureHash' :: Tagged TimeOfDay MD5 Source #
Structured TimeZone Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy TimeZone -> Structure Source # structureHash' :: Tagged TimeZone MD5 Source #
Structured UniversalTime Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy UniversalTime -> Structure Source # structureHash' :: Tagged UniversalTime MD5 Source #
Structured NominalDiffTime Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy NominalDiffTime -> Structure Source # structureHash' :: Tagged NominalDiffTime MD5 Source #
Structured DiffTime Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy DiffTime -> Structure Source # structureHash' :: Tagged DiffTime MD5 Source #
Structured Day Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy Day -> Structure Source # structureHash' :: Tagged Day MD5 Source #
Structured DayOfWeek Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy DayOfWeek -> Structure Source # structureHash' :: Tagged DayOfWeek MD5 Source #
Structured UUID Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy UUID -> Structure Source # structureHash' :: Tagged UUID MD5 Source #
Structured a => Structured [a] Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy [a] -> Structure Source # structureHash' :: Tagged [a] MD5 Source #
Structured a => Structured (Maybe a) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (Maybe a) -> Structure Source # structureHash' :: Tagged (Maybe a) MD5 Source #
Structured a => Structured (Ratio a) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (Ratio a) -> Structure Source # structureHash' :: Tagged (Ratio a) MD5 Source #
(Typeable a, HasResolution a) => Structured (Fixed a) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (Fixed a) -> Structure Source # structureHash' :: Tagged (Fixed a) MD5 Source #
Structured a => Structured (Min a) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (Min a) -> Structure Source # structureHash' :: Tagged (Min a) MD5 Source #
Structured a => Structured (Max a) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (Max a) -> Structure Source # structureHash' :: Tagged (Max a) MD5 Source #
Structured a => Structured (First a) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (First a) -> Structure Source # structureHash' :: Tagged (First a) MD5 Source #
Structured a => Structured (Last a) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (Last a) -> Structure Source # structureHash' :: Tagged (Last a) MD5 Source #
Structured a => Structured (WrappedMonoid a) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (WrappedMonoid a) -> Structure Source # structureHash' :: Tagged (WrappedMonoid a) MD5 Source #
Structured a => Structured (First a) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (First a) -> Structure Source # structureHash' :: Tagged (First a) MD5 Source #
Structured a => Structured (Last a) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (Last a) -> Structure Source # structureHash' :: Tagged (Last a) MD5 Source #
Structured a => Structured (Dual a) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (Dual a) -> Structure Source # structureHash' :: Tagged (Dual a) MD5 Source #
Structured a => Structured (Endo a) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (Endo a) -> Structure Source # structureHash' :: Tagged (Endo a) MD5 Source #
Structured a => Structured (Sum a) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (Sum a) -> Structure Source # structureHash' :: Tagged (Sum a) MD5 Source #
Structured a => Structured (Product a) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (Product a) -> Structure Source # structureHash' :: Tagged (Product a) MD5 Source #
Structured a => Structured (NonEmpty a) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (NonEmpty a) -> Structure Source # structureHash' :: Tagged (NonEmpty a) MD5 Source #
Structured v => Structured (IntMap v) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (IntMap v) -> Structure Source # structureHash' :: Tagged (IntMap v) MD5 Source #
Structured v => Structured (Seq v) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (Seq v) -> Structure Source # structureHash' :: Tagged (Seq v) MD5 Source #
Structured k => Structured (Set k) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (Set k) -> Structure Source # structureHash' :: Tagged (Set k) MD5 Source #
Structured k => Structured (HashSet k) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (HashSet k) -> Structure Source # structureHash' :: Tagged (HashSet k) MD5 Source #
Structured v => Structured (Vector v) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (Vector v) -> Structure Source # structureHash' :: Tagged (Vector v) MD5 Source #
Structured v => Structured (Vector v) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (Vector v) -> Structure Source # structureHash' :: Tagged (Vector v) MD5 Source #
Structured v => Structured (Vector v) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (Vector v) -> Structure Source # structureHash' :: Tagged (Vector v) MD5 Source #
(Structured a, Structured b) => Structured (a -> b) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (a -> b) -> Structure Source # structureHash' :: Tagged (a -> b) MD5 Source #
(Structured a, Structured b) => Structured (Either a b) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (Either a b) -> Structure Source # structureHash' :: Tagged (Either a b) MD5 Source #
(Structured a1, Structured a2) => Structured (a1, a2) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (a1, a2) -> Structure Source # structureHash' :: Tagged (a1, a2) MD5 Source #
(Structured k, Structured v) => Structured (HashMap k v) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (HashMap k v) -> Structure Source # structureHash' :: Tagged (HashMap k v) MD5 Source #
(Structured k, Structured v) => Structured (Map k v) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (Map k v) -> Structure Source # structureHash' :: Tagged (Map k v) MD5 Source #
(Structured i, Structured e) => Structured (UArray i e) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (UArray i e) -> Structure Source # structureHash' :: Tagged (UArray i e) MD5 Source #
(Structured i, Structured e) => Structured (Array i e) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (Array i e) -> Structure Source # structureHash' :: Tagged (Array i e) MD5 Source #
(Structured a1, Structured a2, Structured a3) => Structured (a1, a2, a3) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (a1, a2, a3) -> Structure Source # structureHash' :: Tagged (a1, a2, a3) MD5 Source #
(Typeable k, Typeable b, Structured a) => Structured (Tagged b a) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (Tagged b a) -> Structure Source # structureHash' :: Tagged (Tagged b a) MD5 Source #
(Structured a1, Structured a2, Structured a3, Structured a4) => Structured (a1, a2, a3, a4) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (a1, a2, a3, a4) -> Structure Source # structureHash' :: Tagged (a1, a2, a3, a4) MD5 Source #
(Structured a1, Structured a2, Structured a3, Structured a4, Structured a5) => Structured (a1, a2, a3, a4, a5) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (a1, a2, a3, a4, a5) -> Structure Source # structureHash' :: Tagged (a1, a2, a3, a4, a5) MD5 Source #
(Structured a1, Structured a2, Structured a3, Structured a4, Structured a5, Structured a6) => Structured (a1, a2, a3, a4, a5, a6) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (a1, a2, a3, a4, a5, a6) -> Structure Source # structureHash' :: Tagged (a1, a2, a3, a4, a5, a6) MD5 Source #
(Structured a1, Structured a2, Structured a3, Structured a4, Structured a5, Structured a6, Structured a7) => Structured (a1, a2, a3, a4, a5, a6, a7) Source #
Instance details Defined in Data.Structured.Internal Methods structure :: Proxy (a1, a2, a3, a4, a5, a6, a7) -> Structure Source # structureHash' :: Tagged (a1, a2, a3, a4, a5, a6, a7) MD5 Source #

structureHash :: forall a. Structured a => Proxy a -> MD5 Source #

Semantically hashStructure . structure.

nominalStructure :: Typeable a => Proxy a -> Structure Source #

Use Typeable to infer name

containerStructure :: forall f a. (Typeable f, Structured a) => Proxy (f a) -> Structure Source #

genericStructure :: forall a. (Typeable a, Generic a, GStructured (Rep a)) => Proxy a -> Structure Source #

Derive structure genrically.

class GStructured (f :: Type -> Type) where Source #

Used to implement genericStructure.

Methods

gstructured :: TypeRep -> Proxy f -> TypeVersion -> Structure Source #

Instances

(i ~ D, Datatype c, GStructuredSum f) => GStructured (M1 i c f) Source #
Instance details Defined in Data.Structured.Internal Methods gstructured :: TypeRep -> Proxy (M1 i c f) -> TypeVersion -> Structure Source #

class GStructuredSum (f :: Type -> Type) where Source #

Methods

gstructuredSum :: Proxy f -> SopStructure -> SopStructure Source #

Instances

GStructuredSum (V1 :: Type -> Type) Source #
Instance details Defined in Data.Structured.Internal Methods gstructuredSum :: Proxy V1 -> SopStructure -> SopStructure Source #
(GStructuredSum f, GStructuredSum g) => GStructuredSum (f :+: g) Source #
Instance details Defined in Data.Structured.Internal Methods gstructuredSum :: Proxy (f :+: g) -> SopStructure -> SopStructure Source #
(i ~ C, Constructor c, GStructuredProd f) => GStructuredSum (M1 i c f) Source #
Instance details Defined in Data.Structured.Internal Methods gstructuredSum :: Proxy (M1 i c f) -> SopStructure -> SopStructure Source #

class GStructuredProd (f :: Type -> Type) where Source #

Methods

gstructuredProd :: Proxy f -> [Structure] -> [Structure] Source #

Instances

GStructuredProd (U1 :: Type -> Type) Source #
Instance details Defined in Data.Structured.Internal Methods gstructuredProd :: Proxy U1 -> [Structure] -> [Structure] Source #
Structured c => GStructuredProd (K1 i c :: Type -> Type) Source #
Instance details Defined in Data.Structured.Internal Methods gstructuredProd :: Proxy (K1 i c) -> [Structure] -> [Structure] Source #
(GStructuredProd f, GStructuredProd g) => GStructuredProd (f :*: g) Source #
Instance details Defined in Data.Structured.Internal Methods gstructuredProd :: Proxy (f :*: g) -> [Structure] -> [Structure] Source #
(i ~ S, GStructuredProd f) => GStructuredProd (M1 i c f) Source #
Instance details Defined in Data.Structured.Internal Methods gstructuredProd :: Proxy (M1 i c f) -> [Structure] -> [Structure] Source #