Safe Haskell	None
Language	Haskell2010

Network.Top.Repo

Description

Permanently register and retrieve absolute type definitions

Synopsis

Documentation

data RepoProtocol Source #

A (simplistic) protocol to permanently store and retrieve ADT definitions.

Constructors

Record AbsADT	Permanently record an absolute type
Solve AbsRef	Retrieve the absolute type
Solved AbsRef AbsADT	Return the absolute type identified by an absolute reference
AskDataTypes	Request the list of all known data types
KnownDataTypes [(AbsRef, AbsADT)]	Return the list of all known data types

Instances

Eq RepoProtocol Source #
Methods (==) :: RepoProtocol -> RepoProtocol -> Bool # (/=) :: RepoProtocol -> RepoProtocol -> Bool #
Ord RepoProtocol Source #
Methods compare :: RepoProtocol -> RepoProtocol -> Ordering # (<) :: RepoProtocol -> RepoProtocol -> Bool # (<=) :: RepoProtocol -> RepoProtocol -> Bool # (>) :: RepoProtocol -> RepoProtocol -> Bool # (>=) :: RepoProtocol -> RepoProtocol -> Bool # max :: RepoProtocol -> RepoProtocol -> RepoProtocol # min :: RepoProtocol -> RepoProtocol -> RepoProtocol #
Show RepoProtocol Source #
Methods showsPrec :: Int -> RepoProtocol -> ShowS # show :: RepoProtocol -> String # showList :: [RepoProtocol] -> ShowS #
Generic RepoProtocol Source #
Associated Types type Rep RepoProtocol :: * -> * # Methods from :: RepoProtocol -> Rep RepoProtocol x # to :: Rep RepoProtocol x -> RepoProtocol #
Flat RepoProtocol Source #
Methods encode :: RepoProtocol -> Encoding # decode :: Get RepoProtocol # size :: RepoProtocol -> NumBits -> NumBits #
Model RepoProtocol Source #
Methods envType :: Proxy * RepoProtocol -> State Env HType #
type Rep RepoProtocol Source #
type Rep RepoProtocol = D1 (MetaData "RepoProtocol" "Network.Top.Repo" "top-0.2.2-1tpUaT6j0AmDPE0g1v23yA" False) ((:+:) ((:+:) (C1 (MetaCons "Record" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AbsADT))) (C1 (MetaCons "Solve" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AbsRef)))) ((:+:) (C1 (MetaCons "Solved" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AbsRef)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AbsADT)))) ((:+:) (C1 (MetaCons "AskDataTypes" PrefixI False) U1) (C1 (MetaCons "KnownDataTypes" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(AbsRef, AbsADT)]))))))

recordType :: Model a => Config -> Proxy a -> IO () Source #

Permanently record an ADT definition

solveType :: Repo -> Config -> AbsType -> IO (Either RepoError AbsTypeModel) Source #

Retrieve the full type model for the given absolute type from Top's RepoProtocol channel, using the given Repo as a cache

knownTypes :: Config -> IO (Either String [(AbsRef, AbsADT)]) Source #

Retrieve all known data types