RFC.Data.IdAnd

Documentation

idAndsToMap :: [IdAnd a] -> RefMap a

newtype IdAnd a

Represents something which has an ID.

Constructors

IdAnd (UUID, a)

Instances

Eq a => Eq (IdAnd a)

Methods

(==) :: IdAnd a -> IdAnd a -> Bool

(/=) :: IdAnd a -> IdAnd a -> Bool

Ord a => Ord (IdAnd a)

Methods

compare :: IdAnd a -> IdAnd a -> Ordering

(<) :: IdAnd a -> IdAnd a -> Bool

(<=) :: IdAnd a -> IdAnd a -> Bool

(>) :: IdAnd a -> IdAnd a -> Bool

(>=) :: IdAnd a -> IdAnd a -> Bool

max :: IdAnd a -> IdAnd a -> IdAnd a

min :: IdAnd a -> IdAnd a -> IdAnd a

Show a => Show (IdAnd a)

Methods

showsPrec :: Int -> IdAnd a -> ShowS

show :: IdAnd a -> String

showList :: [IdAnd a] -> ShowS

Generic (IdAnd a)

Associated Types

type Rep (IdAnd a) :: * -> *

Methods

from :: IdAnd a -> Rep (IdAnd a) x

to :: Rep (IdAnd a) x -> IdAnd a

ToJSON a => ToJSON (IdAnd a)

Methods

toJSON :: IdAnd a -> Value

toEncoding :: IdAnd a -> Encoding

toJSONList :: [IdAnd a] -> Value

toEncodingList :: [IdAnd a] -> Encoding

FromJSON a => FromJSON (IdAnd a)

Methods

parseJSON :: Value -> Parser (IdAnd a)

parseJSONList :: Value -> Parser [IdAnd a]

ToSample a => ToSample (IdAnd a)

Methods

toSamples :: Proxy * (IdAnd a) -> [(Text, IdAnd a)]

(ToSchema a, ToJSON a, ToSample a) => ToSchema (IdAnd a)

Methods

declareNamedSchema :: proxy (IdAnd a) -> Declare (Definitions Schema) NamedSchema

type Rep (IdAnd a)

type Rep (IdAnd a) = D1 * (MetaData "IdAnd" "RFC.Data.IdAnd" "rfc-0.0.0.25-15KxfGyhIZ97jaC75BDYn8" True) (C1 * (MetaCons "IdAnd" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (UUID, a))))

idAndToId :: IdAnd a -> UUID

idAndToValue :: IdAnd a -> a

valuesToIdAnd :: UUID -> a -> IdAnd a

idAndToTuple :: IdAnd a -> (UUID, a)

tupleToIdAnd :: (UUID, a) -> IdAnd a

idAndToPair :: IdAnd a -> (UUID, IdAnd a)

newtype RefMap a

Constructors

RefMap (Map UUID (IdAnd a))

Instances

Eq a => Eq (RefMap a)

Methods

(==) :: RefMap a -> RefMap a -> Bool

(/=) :: RefMap a -> RefMap a -> Bool

Ord a => Ord (RefMap a)

Methods

compare :: RefMap a -> RefMap a -> Ordering

(<) :: RefMap a -> RefMap a -> Bool

(<=) :: RefMap a -> RefMap a -> Bool

(>) :: RefMap a -> RefMap a -> Bool

(>=) :: RefMap a -> RefMap a -> Bool

max :: RefMap a -> RefMap a -> RefMap a

min :: RefMap a -> RefMap a -> RefMap a

Show a => Show (RefMap a)

Methods

showsPrec :: Int -> RefMap a -> ShowS

show :: RefMap a -> String

showList :: [RefMap a] -> ShowS

Generic (RefMap a)

Associated Types

type Rep (RefMap a) :: * -> *

Methods

from :: RefMap a -> Rep (RefMap a) x

to :: Rep (RefMap a) x -> RefMap a

ToJSON a => ToJSON (RefMap a)

Methods

toJSON :: RefMap a -> Value

toEncoding :: RefMap a -> Encoding

toJSONList :: [RefMap a] -> Value

toEncodingList :: [RefMap a] -> Encoding

FromJSON a => FromJSON (RefMap a)

Methods

parseJSON :: Value -> Parser (RefMap a)

parseJSONList :: Value -> Parser [RefMap a]

ToSample a => ToSample (RefMap a)

Methods

toSamples :: Proxy * (RefMap a) -> [(Text, RefMap a)]

(ToSchema a, ToJSON a, ToSample a) => ToSchema (RefMap a)

Methods

declareNamedSchema :: proxy (RefMap a) -> Declare (Definitions Schema) NamedSchema

type Rep (RefMap a)

type Rep (RefMap a) = D1 * (MetaData "RefMap" "RFC.Data.IdAnd" "rfc-0.0.0.25-15KxfGyhIZ97jaC75BDYn8" True) (C1 * (MetaCons "RefMap" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Map UUID (IdAnd a)))))

refMapElems :: RefMap a -> [IdAnd a]

refMapToMap :: RefMap a -> Map UUID (IdAnd a)