Safe Haskell	Safe-Inferred
Language	GHC2021

Data.Registry

Description

Import this module if you want to access all the functionalities of the Registry API

Synopsis

module Data.Registry.Statistics
module Data.Registry.Solver
module Data.Registry.Registry
module Data.Registry.Rio
module Data.Registry.Make
module Data.Registry.Lift
module Data.Registry.Dot
data Typed a
- = TypedValue Value
- | TypedFunction Function

Documentation

module Data.Registry.Statistics

module Data.Registry.Solver

module Data.Registry.Registry

module Data.Registry.Rio

module Data.Registry.Make

module Data.Registry.Lift

module Data.Registry.Dot

data Typed a Source #

A Typed value or function can be added to a Registry It is either a value, having both Show and Typeable information or a function having just Typeable information

Constructors

TypedValue Value
TypedFunction Function

Instances

Instances details

(Typeable a, IsSubset (Inputs a) '[Output b] a, Typeable b, insr ~ (Inputs a :++ Inputs b), outr ~ '[Output a, Output b]) => AddRegistryLike (Typed a) (Typed b) (Registry insr outr) Source #
Instance details Defined in Data.Registry.Registry Methods (<:) :: Typed a -> Typed b -> Registry insr outr Source #
(Typeable a, IsSubset (Inputs a) out2 a, insr ~ (Inputs a :++ ins2), outr ~ (Output a ': out2)) => AddRegistryLike (Typed a) (Registry ins2 out2) (Registry insr outr) Source #
Instance details Defined in Data.Registry.Registry Methods (<:) :: Typed a -> Registry ins2 out2 -> Registry insr outr Source #
(Typeable a, AreSubset ins2 outr out2, insr ~ (ins2 :++ Inputs a), outr ~ (out2 :++ '[Output a])) => AddRegistryLike (Registry ins2 out2) (Typed a) (Registry insr outr) Source #
Instance details Defined in Data.Registry.Registry Methods (<:) :: Registry ins2 out2 -> Typed a -> Registry insr outr Source #
(Typeable a, Typeable b, insr ~ (Inputs a :++ Inputs b), outr ~ '[Output a, Output b]) => AddRegistryUncheckedLike (Typed a) (Typed b) (Registry insr outr) Source #
Instance details Defined in Data.Registry.Registry Methods (<+) :: Typed a -> Typed b -> Registry insr outr Source #
(Typeable a, insr ~ (Inputs a :++ ins2), outr ~ (Output a ': out2)) => AddRegistryUncheckedLike (Typed a) (Registry ins2 out2) (Registry insr outr) Source #
Instance details Defined in Data.Registry.Registry Methods (<+) :: Typed a -> Registry ins2 out2 -> Registry insr outr Source #
(Typeable a, insr ~ (ins2 :++ Inputs a), outr ~ (out2 :++ '[Output a])) => AddRegistryUncheckedLike (Registry ins2 out2) (Typed a) (Registry insr outr) Source #
Instance details Defined in Data.Registry.Registry Methods (<+) :: Registry ins2 out2 -> Typed a -> Registry insr outr Source #