unison-share-api-0.0.0
Safe HaskellNone
LanguageHaskell2010

Unison.Server.Local.Endpoints.NamespaceListing

Documentation

serve :: Codebase IO Symbol Ann -> Either ShortCausalHash CausalHash -> Maybe Path -> Maybe Path -> Backend IO NamespaceListing Source #

type NamespaceListingAPI = "list" :> (QueryParam "relativeTo" Path :> (QueryParam "namespace" Path :> APIGet NamespaceListing)) Source #

data NamespaceListing Source #

Constructors

NamespaceListing 

Fields

Instances

Instances details
FromJSON NamespaceListing Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Methods

parseJSON :: Value -> Parser NamespaceListing #

parseJSONList :: Value -> Parser [NamespaceListing] #

omittedField :: Maybe NamespaceListing #

ToJSON NamespaceListing Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Methods

toJSON :: NamespaceListing -> Value #

toEncoding :: NamespaceListing -> Encoding #

toJSONList :: [NamespaceListing] -> Value #

toEncodingList :: [NamespaceListing] -> Encoding #

omitField :: NamespaceListing -> Bool #

Generic NamespaceListing Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Associated Types

type Rep NamespaceListing 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

type Rep NamespaceListing = D1 ('MetaData "NamespaceListing" "Unison.Server.Local.Endpoints.NamespaceListing" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "NamespaceListing" 'PrefixI 'True) (S1 ('MetaSel ('Just "namespaceListingFQN") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnisonName) :*: (S1 ('MetaSel ('Just "namespaceListingHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnisonHash) :*: S1 ('MetaSel ('Just "namespaceListingChildren") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [NamespaceObject]))))

Methods

from :: NamespaceListing -> Rep NamespaceListing x #

to :: Rep NamespaceListing x -> NamespaceListing #

Show NamespaceListing Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Methods

showsPrec :: Int -> NamespaceListing -> ShowS #

show :: NamespaceListing -> String #

showList :: [NamespaceListing] -> ShowS #

ToSchema NamespaceListing Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Methods

declareNamedSchema :: Proxy NamespaceListing -> Declare (Definitions Schema) NamedSchema #

ToSample NamespaceListing Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Methods

toSamples :: Proxy NamespaceListing -> [(Text, NamespaceListing)] #

type Rep NamespaceListing Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

type Rep NamespaceListing = D1 ('MetaData "NamespaceListing" "Unison.Server.Local.Endpoints.NamespaceListing" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "NamespaceListing" 'PrefixI 'True) (S1 ('MetaSel ('Just "namespaceListingFQN") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnisonName) :*: (S1 ('MetaSel ('Just "namespaceListingHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnisonHash) :*: S1 ('MetaSel ('Just "namespaceListingChildren") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [NamespaceObject]))))

data NamespaceObject Source #

Constructors

Subnamespace NamedNamespace 
TermObject NamedTerm 
TypeObject NamedType 
PatchObject NamedPatch 

Instances

Instances details
FromJSON NamespaceObject Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Methods

parseJSON :: Value -> Parser NamespaceObject #

parseJSONList :: Value -> Parser [NamespaceObject] #

omittedField :: Maybe NamespaceObject #

ToJSON NamespaceObject Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Methods

toJSON :: NamespaceObject -> Value #

toEncoding :: NamespaceObject -> Encoding #

toJSONList :: [NamespaceObject] -> Value #

toEncodingList :: [NamespaceObject] -> Encoding #

omitField :: NamespaceObject -> Bool #

Generic NamespaceObject Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Associated Types

type Rep NamespaceObject 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

type Rep NamespaceObject = D1 ('MetaData "NamespaceObject" "Unison.Server.Local.Endpoints.NamespaceListing" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) ((C1 ('MetaCons "Subnamespace" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamedNamespace)) :+: C1 ('MetaCons "TermObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamedTerm))) :+: (C1 ('MetaCons "TypeObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamedType)) :+: C1 ('MetaCons "PatchObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamedPatch))))

Methods

from :: NamespaceObject -> Rep NamespaceObject x #

to :: Rep NamespaceObject x -> NamespaceObject #

Show NamespaceObject Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Methods

showsPrec :: Int -> NamespaceObject -> ShowS #

show :: NamespaceObject -> String #

showList :: [NamespaceObject] -> ShowS #

ToSchema NamespaceObject Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Methods

declareNamedSchema :: Proxy NamespaceObject -> Declare (Definitions Schema) NamedSchema #

type Rep NamespaceObject Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

type Rep NamespaceObject = D1 ('MetaData "NamespaceObject" "Unison.Server.Local.Endpoints.NamespaceListing" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) ((C1 ('MetaCons "Subnamespace" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamedNamespace)) :+: C1 ('MetaCons "TermObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamedTerm))) :+: (C1 ('MetaCons "TypeObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamedType)) :+: C1 ('MetaCons "PatchObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamedPatch))))

data NamedNamespace Source #

Constructors

NamedNamespace 

Fields

Instances

Instances details
FromJSON NamedNamespace Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Methods

parseJSON :: Value -> Parser NamedNamespace #

parseJSONList :: Value -> Parser [NamedNamespace] #

omittedField :: Maybe NamedNamespace #

ToJSON NamedNamespace Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Methods

toJSON :: NamedNamespace -> Value #

toEncoding :: NamedNamespace -> Encoding #

toJSONList :: [NamedNamespace] -> Value #

toEncodingList :: [NamedNamespace] -> Encoding #

omitField :: NamedNamespace -> Bool #

Generic NamedNamespace Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Associated Types

type Rep NamedNamespace 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

type Rep NamedNamespace = D1 ('MetaData "NamedNamespace" "Unison.Server.Local.Endpoints.NamespaceListing" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "NamedNamespace" 'PrefixI 'True) (S1 ('MetaSel ('Just "namespaceName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnisonName) :*: (S1 ('MetaSel ('Just "namespaceHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnisonHash) :*: S1 ('MetaSel ('Just "namespaceSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))))

Methods

from :: NamedNamespace -> Rep NamedNamespace x #

to :: Rep NamedNamespace x -> NamedNamespace #

Show NamedNamespace Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Methods

showsPrec :: Int -> NamedNamespace -> ShowS #

show :: NamedNamespace -> String #

showList :: [NamedNamespace] -> ShowS #

ToSchema NamedNamespace Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Methods

declareNamedSchema :: Proxy NamedNamespace -> Declare (Definitions Schema) NamedSchema #

type Rep NamedNamespace Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

type Rep NamedNamespace = D1 ('MetaData "NamedNamespace" "Unison.Server.Local.Endpoints.NamespaceListing" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "NamedNamespace" 'PrefixI 'True) (S1 ('MetaSel ('Just "namespaceName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnisonName) :*: (S1 ('MetaSel ('Just "namespaceHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnisonHash) :*: S1 ('MetaSel ('Just "namespaceSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))))

newtype NamedPatch Source #

Constructors

NamedPatch 

Fields

Instances

Instances details
FromJSON NamedPatch Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Methods

parseJSON :: Value -> Parser NamedPatch #

parseJSONList :: Value -> Parser [NamedPatch] #

omittedField :: Maybe NamedPatch #

ToJSON NamedPatch Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Methods

toJSON :: NamedPatch -> Value #

toEncoding :: NamedPatch -> Encoding #

toJSONList :: [NamedPatch] -> Value #

toEncodingList :: [NamedPatch] -> Encoding #

omitField :: NamedPatch -> Bool #

Generic NamedPatch Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Associated Types

type Rep NamedPatch 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

type Rep NamedPatch = D1 ('MetaData "NamedPatch" "Unison.Server.Local.Endpoints.NamespaceListing" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'True) (C1 ('MetaCons "NamedPatch" 'PrefixI 'True) (S1 ('MetaSel ('Just "patchName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HashQualifiedName)))

Methods

from :: NamedPatch -> Rep NamedPatch x #

to :: Rep NamedPatch x -> NamedPatch #

Show NamedPatch Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Methods

showsPrec :: Int -> NamedPatch -> ShowS #

show :: NamedPatch -> String #

showList :: [NamedPatch] -> ShowS #

ToSchema NamedPatch Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Methods

declareNamedSchema :: Proxy NamedPatch -> Declare (Definitions Schema) NamedSchema #

type Rep NamedPatch Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

type Rep NamedPatch = D1 ('MetaData "NamedPatch" "Unison.Server.Local.Endpoints.NamespaceListing" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'True) (C1 ('MetaCons "NamedPatch" 'PrefixI 'True) (S1 ('MetaSel ('Just "patchName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HashQualifiedName)))

newtype KindExpression Source #

Constructors

KindExpression 

Fields

Instances

Instances details
ToJSON KindExpression Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Methods

toJSON :: KindExpression -> Value #

toEncoding :: KindExpression -> Encoding #

toJSONList :: [KindExpression] -> Value #

toEncodingList :: [KindExpression] -> Encoding #

omitField :: KindExpression -> Bool #

Generic KindExpression Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Associated Types

type Rep KindExpression 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

type Rep KindExpression = D1 ('MetaData "KindExpression" "Unison.Server.Local.Endpoints.NamespaceListing" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'True) (C1 ('MetaCons "KindExpression" 'PrefixI 'True) (S1 ('MetaSel ('Just "kindExpressionText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: KindExpression -> Rep KindExpression x #

to :: Rep KindExpression x -> KindExpression #

Show KindExpression Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Methods

showsPrec :: Int -> KindExpression -> ShowS #

show :: KindExpression -> String #

showList :: [KindExpression] -> ShowS #

ToSchema KindExpression Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

Methods

declareNamedSchema :: Proxy KindExpression -> Declare (Definitions Schema) NamedSchema #

type Rep KindExpression Source # 
Instance details

Defined in Unison.Server.Local.Endpoints.NamespaceListing

type Rep KindExpression = D1 ('MetaData "KindExpression" "Unison.Server.Local.Endpoints.NamespaceListing" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'True) (C1 ('MetaCons "KindExpression" 'PrefixI 'True) (S1 ('MetaSel ('Just "kindExpressionText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Orphan instances

ToParam (QueryParam "namespace" Text) Source # 
Instance details

Methods

toParam :: Proxy (QueryParam "namespace" Text) -> DocQueryParam #