Bifoldable ExactName Source #
Instance details Defined in Unison.Server.Types Methods bifold :: Monoid m => ExactName m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> ExactName a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> ExactName a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> ExactName a b -> c #
Bifunctor ExactName Source #
Instance details Defined in Unison.Server.Types Methods bimap :: (a -> b) -> (c -> d) -> ExactName a c -> ExactName b d # first :: (a -> b) -> ExactName a c -> ExactName b c # second :: (b -> c) -> ExactName a b -> ExactName a c #
Bitraversable ExactName Source #
Instance details Defined in Unison.Server.Types Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> ExactName a b -> f (ExactName c d) #
ToCapture (Capture "fqn" (ExactName Name ShortHash)) Source #
Instance details Defined in Unison.Server.Types Methods toCapture :: Proxy (Capture "fqn" (ExactName Name ShortHash)) -> DocCapture #
ToParam (QueryParam "exact-name" (ExactName Name ShortHash)) Source #
Instance details Defined in Unison.Server.Types Methods toParam :: Proxy (QueryParam "exact-name" (ExactName Name ShortHash)) -> DocQueryParam #
Functor (ExactName name) Source #
Instance details Defined in Unison.Server.Types Methods fmap :: (a -> b) -> ExactName name a -> ExactName name b # (<$) :: a -> ExactName name b -> ExactName name a #
(Show name, Show ref) => Show (ExactName name ref) Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> ExactName name ref -> ShowS # show :: ExactName name ref -> String # showList :: [ExactName name ref] -> ShowS #
(Eq name, Eq ref) => Eq (ExactName name ref) Source #
Instance details Defined in Unison.Server.Types Methods (==) :: ExactName name ref -> ExactName name ref -> Bool # (/=) :: ExactName name ref -> ExactName name ref -> Bool #
(Ord name, Ord ref) => Ord (ExactName name ref) Source #
Instance details Defined in Unison.Server.Types Methods compare :: ExactName name ref -> ExactName name ref -> Ordering # (<) :: ExactName name ref -> ExactName name ref -> Bool # (<=) :: ExactName name ref -> ExactName name ref -> Bool # (>) :: ExactName name ref -> ExactName name ref -> Bool # (>=) :: ExactName name ref -> ExactName name ref -> Bool # max :: ExactName name ref -> ExactName name ref -> ExactName name ref # min :: ExactName name ref -> ExactName name ref -> ExactName name ref #
FromHttpApiData (ExactName Name ShortHash) Source #
Instance details Defined in Unison.Server.Types Methods parseUrlPiece :: Text -> Either Text (ExactName Name ShortHash) # parseHeader :: ByteString -> Either Text (ExactName Name ShortHash) # parseQueryParam :: Text -> Either Text (ExactName Name ShortHash) #
ToParamSchema (ExactName Name ShortHash) Source #
Instance details Defined in Unison.Server.Types Methods toParamSchema :: Proxy (ExactName Name ShortHash) -> Schema #

exactToHQ :: ExactName name ShortHash -> HashQualified name Source #

exactToHQ' :: ExactName name ShortHash -> HashQualified name Source #

data TermDefinitionDiff Source #

Constructors

TermDefinitionDiff
Fields left :: TermDefinition right :: TermDefinition diff :: DisplayObjectDiff

Instances

Instances details

Generic TermDefinitionDiff Source #

Instance details

Defined in Unison.Server.Types

Associated Types

type Rep TermDefinitionDiff

Instance details

Defined in Unison.Server.Types

type Rep TermDefinitionDiff = D1 ('MetaData "TermDefinitionDiff" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "TermDefinitionDiff" 'PrefixI 'True) (S1 ('MetaSel ('Just "left") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermDefinition) :*: (S1 ('MetaSel ('Just "right") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermDefinition) :*: S1 ('MetaSel ('Just "diff") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DisplayObjectDiff))))

Methods

from :: TermDefinitionDiff -> Rep TermDefinitionDiff x #

to :: Rep TermDefinitionDiff x -> TermDefinitionDiff #

Show TermDefinitionDiff Source #

Instance details

Defined in Unison.Server.Types

Methods

showsPrec :: Int -> TermDefinitionDiff -> ShowS #

show :: TermDefinitionDiff -> String #

showList :: [TermDefinitionDiff] -> ShowS #

Eq TermDefinitionDiff Source #

Instance details

Defined in Unison.Server.Types

Methods

(==) :: TermDefinitionDiff -> TermDefinitionDiff -> Bool #

(/=) :: TermDefinitionDiff -> TermDefinitionDiff -> Bool #

Ord TermDefinitionDiff Source #

Instance details

Defined in Unison.Server.Types

Methods

compare :: TermDefinitionDiff -> TermDefinitionDiff -> Ordering #

(<) :: TermDefinitionDiff -> TermDefinitionDiff -> Bool #

(<=) :: TermDefinitionDiff -> TermDefinitionDiff -> Bool #

(>) :: TermDefinitionDiff -> TermDefinitionDiff -> Bool #

(>=) :: TermDefinitionDiff -> TermDefinitionDiff -> Bool #

max :: TermDefinitionDiff -> TermDefinitionDiff -> TermDefinitionDiff #

min :: TermDefinitionDiff -> TermDefinitionDiff -> TermDefinitionDiff #

type Rep TermDefinitionDiff Source #

Instance details

Defined in Unison.Server.Types

type Rep TermDefinitionDiff = D1 ('MetaData "TermDefinitionDiff" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "TermDefinitionDiff" 'PrefixI 'True) (S1 ('MetaSel ('Just "left") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermDefinition) :*: (S1 ('MetaSel ('Just "right") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermDefinition) :*: S1 ('MetaSel ('Just "diff") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DisplayObjectDiff))))

data TypeDefinitionDiff Source #

Constructors

TypeDefinitionDiff
Fields left :: TypeDefinition right :: TypeDefinition diff :: DisplayObjectDiff

Instances

Instances details

Generic TypeDefinitionDiff Source #

Instance details

Defined in Unison.Server.Types

Associated Types

type Rep TypeDefinitionDiff

Instance details

Defined in Unison.Server.Types

type Rep TypeDefinitionDiff = D1 ('MetaData "TypeDefinitionDiff" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "TypeDefinitionDiff" 'PrefixI 'True) (S1 ('MetaSel ('Just "left") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeDefinition) :*: (S1 ('MetaSel ('Just "right") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeDefinition) :*: S1 ('MetaSel ('Just "diff") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DisplayObjectDiff))))

Methods

from :: TypeDefinitionDiff -> Rep TypeDefinitionDiff x #

to :: Rep TypeDefinitionDiff x -> TypeDefinitionDiff #

Show TypeDefinitionDiff Source #

Instance details

Defined in Unison.Server.Types

Methods

showsPrec :: Int -> TypeDefinitionDiff -> ShowS #

show :: TypeDefinitionDiff -> String #

showList :: [TypeDefinitionDiff] -> ShowS #

Eq TypeDefinitionDiff Source #

Instance details

Defined in Unison.Server.Types

Methods

(==) :: TypeDefinitionDiff -> TypeDefinitionDiff -> Bool #

(/=) :: TypeDefinitionDiff -> TypeDefinitionDiff -> Bool #

Ord TypeDefinitionDiff Source #

Instance details

Defined in Unison.Server.Types

Methods

compare :: TypeDefinitionDiff -> TypeDefinitionDiff -> Ordering #

(<) :: TypeDefinitionDiff -> TypeDefinitionDiff -> Bool #

(<=) :: TypeDefinitionDiff -> TypeDefinitionDiff -> Bool #

(>) :: TypeDefinitionDiff -> TypeDefinitionDiff -> Bool #

(>=) :: TypeDefinitionDiff -> TypeDefinitionDiff -> Bool #

max :: TypeDefinitionDiff -> TypeDefinitionDiff -> TypeDefinitionDiff #

min :: TypeDefinitionDiff -> TypeDefinitionDiff -> TypeDefinitionDiff #

type Rep TypeDefinitionDiff Source #

Instance details

Defined in Unison.Server.Types

type Rep TypeDefinitionDiff = D1 ('MetaData "TypeDefinitionDiff" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "TypeDefinitionDiff" 'PrefixI 'True) (S1 ('MetaSel ('Just "left") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeDefinition) :*: (S1 ('MetaSel ('Just "right") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeDefinition) :*: S1 ('MetaSel ('Just "diff") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DisplayObjectDiff))))

newtype Suffixify Source #

Constructors

Suffixify
Fields suffixified :: Bool

Instances

Instances details

Generic Suffixify Source #

Instance details

Defined in Unison.Server.Types

Associated Types

type Rep Suffixify
Instance details Defined in Unison.Server.Types type Rep Suffixify = D1 ('MetaData "Suffixify" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'True) (C1 ('MetaCons "Suffixify" 'PrefixI 'True) (S1 ('MetaSel ('Just "suffixified") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

Methods

from :: Suffixify -> Rep Suffixify x #

to :: Rep Suffixify x -> Suffixify #

Show Suffixify Source #

Instance details

Defined in Unison.Server.Types

Methods

showsPrec :: Int -> Suffixify -> ShowS #

show :: Suffixify -> String #

showList :: [Suffixify] -> ShowS #

Eq Suffixify Source #

Instance details

Defined in Unison.Server.Types

Methods

(==) :: Suffixify -> Suffixify -> Bool #

(/=) :: Suffixify -> Suffixify -> Bool #

Ord Suffixify Source #

Instance details

Defined in Unison.Server.Types

Methods

compare :: Suffixify -> Suffixify -> Ordering #

(<) :: Suffixify -> Suffixify -> Bool #

(<=) :: Suffixify -> Suffixify -> Bool #

(>) :: Suffixify -> Suffixify -> Bool #

(>=) :: Suffixify -> Suffixify -> Bool #

max :: Suffixify -> Suffixify -> Suffixify #

min :: Suffixify -> Suffixify -> Suffixify #

FromHttpApiData Suffixify Source #

Instance details

Defined in Unison.Server.Types

Methods

parseUrlPiece :: Text -> Either Text Suffixify #

parseHeader :: ByteString -> Either Text Suffixify #

parseQueryParam :: Text -> Either Text Suffixify #

ToParamSchema Suffixify Source #

Instance details

Defined in Unison.Server.Types

Methods

toParamSchema :: Proxy Suffixify -> Schema #

ToParam (QueryParam "suffixifyBindings" Suffixify) Source #

Instance details

Defined in Unison.Server.Local.Endpoints.Definitions

Methods

toParam :: Proxy (QueryParam "suffixifyBindings" Suffixify) -> DocQueryParam #

type Rep Suffixify Source #

Instance details

Defined in Unison.Server.Types

type Rep Suffixify = D1 ('MetaData "Suffixify" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'True) (C1 ('MetaCons "Suffixify" 'PrefixI 'True) (S1 ('MetaSel ('Just "suffixified") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

data TermDefinition Source #

Constructors

TermDefinition
Fields termNames :: [HashQualifiedName] bestTermName :: HashQualifiedName defnTermTag :: TermTag termDefinition :: DisplayObject SyntaxText SyntaxText signature :: SyntaxText termDocs :: [(HashQualifiedName, UnisonHash, Doc)]

Instances

Instances details

FromJSON TermDefinition Source #

Instance details

Defined in Unison.Server.Types

Methods

parseJSON :: Value -> Parser TermDefinition #

parseJSONList :: Value -> Parser [TermDefinition] #

omittedField :: Maybe TermDefinition #

ToJSON TermDefinition Source #

Instance details

Defined in Unison.Server.Types

Methods

toJSON :: TermDefinition -> Value #

toEncoding :: TermDefinition -> Encoding #

toJSONList :: [TermDefinition] -> Value #

toEncodingList :: [TermDefinition] -> Encoding #

omitField :: TermDefinition -> Bool #

Generic TermDefinition Source #

Instance details

Defined in Unison.Server.Types

Associated Types

type Rep TermDefinition

Instance details

Defined in Unison.Server.Types

type Rep TermDefinition = D1 ('MetaData "TermDefinition" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "TermDefinition" 'PrefixI 'True) ((S1 ('MetaSel ('Just "termNames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [HashQualifiedName]) :*: (S1 ('MetaSel ('Just "bestTermName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HashQualifiedName) :*: S1 ('MetaSel ('Just "defnTermTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermTag))) :*: (S1 ('MetaSel ('Just "termDefinition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DisplayObject SyntaxText SyntaxText)) :*: (S1 ('MetaSel ('Just "signature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SyntaxText) :*: S1 ('MetaSel ('Just "termDocs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(HashQualifiedName, UnisonHash, Doc)])))))

Methods

from :: TermDefinition -> Rep TermDefinition x #

to :: Rep TermDefinition x -> TermDefinition #

Show TermDefinition Source #

Instance details

Defined in Unison.Server.Types

Methods

showsPrec :: Int -> TermDefinition -> ShowS #

show :: TermDefinition -> String #

showList :: [TermDefinition] -> ShowS #

Eq TermDefinition Source #

Instance details

Defined in Unison.Server.Types

Methods

(==) :: TermDefinition -> TermDefinition -> Bool #

(/=) :: TermDefinition -> TermDefinition -> Bool #

Ord TermDefinition Source #

Instance details

Defined in Unison.Server.Types

Methods

compare :: TermDefinition -> TermDefinition -> Ordering #

(<) :: TermDefinition -> TermDefinition -> Bool #

(<=) :: TermDefinition -> TermDefinition -> Bool #

(>) :: TermDefinition -> TermDefinition -> Bool #

(>=) :: TermDefinition -> TermDefinition -> Bool #

max :: TermDefinition -> TermDefinition -> TermDefinition #

min :: TermDefinition -> TermDefinition -> TermDefinition #

ToSchema TermDefinition Source #

Instance details

Defined in Unison.Server.Types

Methods

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

type Rep TermDefinition Source #

Instance details

Defined in Unison.Server.Types

type Rep TermDefinition = D1 ('MetaData "TermDefinition" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "TermDefinition" 'PrefixI 'True) ((S1 ('MetaSel ('Just "termNames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [HashQualifiedName]) :*: (S1 ('MetaSel ('Just "bestTermName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HashQualifiedName) :*: S1 ('MetaSel ('Just "defnTermTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermTag))) :*: (S1 ('MetaSel ('Just "termDefinition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DisplayObject SyntaxText SyntaxText)) :*: (S1 ('MetaSel ('Just "signature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SyntaxText) :*: S1 ('MetaSel ('Just "termDocs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(HashQualifiedName, UnisonHash, Doc)])))))

data TypeDefinition Source #

Constructors

TypeDefinition
Fields typeNames :: [HashQualifiedName] bestTypeName :: HashQualifiedName defnTypeTag :: TypeTag typeDefinition :: DisplayObject SyntaxText SyntaxText typeDocs :: [(HashQualifiedName, UnisonHash, Doc)]

Instances

Instances details

FromJSON TypeDefinition Source #

Instance details

Defined in Unison.Server.Types

Methods

parseJSON :: Value -> Parser TypeDefinition #

parseJSONList :: Value -> Parser [TypeDefinition] #

omittedField :: Maybe TypeDefinition #

ToJSON TypeDefinition Source #

Instance details

Defined in Unison.Server.Types

Methods

toJSON :: TypeDefinition -> Value #

toEncoding :: TypeDefinition -> Encoding #

toJSONList :: [TypeDefinition] -> Value #

toEncodingList :: [TypeDefinition] -> Encoding #

omitField :: TypeDefinition -> Bool #

Generic TypeDefinition Source #

Instance details

Defined in Unison.Server.Types

Associated Types

type Rep TypeDefinition

Instance details

Defined in Unison.Server.Types

type Rep TypeDefinition = D1 ('MetaData "TypeDefinition" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "TypeDefinition" 'PrefixI 'True) ((S1 ('MetaSel ('Just "typeNames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [HashQualifiedName]) :*: S1 ('MetaSel ('Just "bestTypeName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HashQualifiedName)) :*: (S1 ('MetaSel ('Just "defnTypeTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeTag) :*: (S1 ('MetaSel ('Just "typeDefinition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DisplayObject SyntaxText SyntaxText)) :*: S1 ('MetaSel ('Just "typeDocs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(HashQualifiedName, UnisonHash, Doc)])))))

Methods

from :: TypeDefinition -> Rep TypeDefinition x #

to :: Rep TypeDefinition x -> TypeDefinition #

Show TypeDefinition Source #

Instance details

Defined in Unison.Server.Types

Methods

showsPrec :: Int -> TypeDefinition -> ShowS #

show :: TypeDefinition -> String #

showList :: [TypeDefinition] -> ShowS #

Eq TypeDefinition Source #

Instance details

Defined in Unison.Server.Types

Methods

(==) :: TypeDefinition -> TypeDefinition -> Bool #

(/=) :: TypeDefinition -> TypeDefinition -> Bool #

Ord TypeDefinition Source #

Instance details

Defined in Unison.Server.Types

Methods

compare :: TypeDefinition -> TypeDefinition -> Ordering #

(<) :: TypeDefinition -> TypeDefinition -> Bool #

(<=) :: TypeDefinition -> TypeDefinition -> Bool #

(>) :: TypeDefinition -> TypeDefinition -> Bool #

(>=) :: TypeDefinition -> TypeDefinition -> Bool #

max :: TypeDefinition -> TypeDefinition -> TypeDefinition #

min :: TypeDefinition -> TypeDefinition -> TypeDefinition #

ToSchema TypeDefinition Source #

Instance details

Defined in Unison.Server.Types

Methods

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

type Rep TypeDefinition Source #

Instance details

Defined in Unison.Server.Types

type Rep TypeDefinition = D1 ('MetaData "TypeDefinition" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "TypeDefinition" 'PrefixI 'True) ((S1 ('MetaSel ('Just "typeNames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [HashQualifiedName]) :*: S1 ('MetaSel ('Just "bestTypeName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HashQualifiedName)) :*: (S1 ('MetaSel ('Just "defnTypeTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeTag) :*: (S1 ('MetaSel ('Just "typeDefinition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DisplayObject SyntaxText SyntaxText)) :*: S1 ('MetaSel ('Just "typeDocs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(HashQualifiedName, UnisonHash, Doc)])))))

data DefinitionDisplayResults Source #

Constructors

DefinitionDisplayResults
Fields termDefinitions :: Map UnisonHash TermDefinition typeDefinitions :: Map UnisonHash TypeDefinition missingDefinitions :: [HashQualifiedName]

Instances

Instances details

FromJSON DefinitionDisplayResults Source #

Instance details

Defined in Unison.Server.Types

Methods

parseJSON :: Value -> Parser DefinitionDisplayResults #

parseJSONList :: Value -> Parser [DefinitionDisplayResults] #

omittedField :: Maybe DefinitionDisplayResults #

ToJSON DefinitionDisplayResults Source #

Instance details

Defined in Unison.Server.Types

Methods

toJSON :: DefinitionDisplayResults -> Value #

toEncoding :: DefinitionDisplayResults -> Encoding #

toJSONList :: [DefinitionDisplayResults] -> Value #

toEncodingList :: [DefinitionDisplayResults] -> Encoding #

omitField :: DefinitionDisplayResults -> Bool #

Monoid DefinitionDisplayResults Source #

Instance details

Defined in Unison.Server.Types

Methods

mempty :: DefinitionDisplayResults #

mappend :: DefinitionDisplayResults -> DefinitionDisplayResults -> DefinitionDisplayResults #

mconcat :: [DefinitionDisplayResults] -> DefinitionDisplayResults #

Semigroup DefinitionDisplayResults Source #

Instance details

Defined in Unison.Server.Types

Methods

(<>) :: DefinitionDisplayResults -> DefinitionDisplayResults -> DefinitionDisplayResults #

sconcat :: NonEmpty DefinitionDisplayResults -> DefinitionDisplayResults #

stimes :: Integral b => b -> DefinitionDisplayResults -> DefinitionDisplayResults #

Generic DefinitionDisplayResults Source #

Instance details

Defined in Unison.Server.Types

Associated Types

type Rep DefinitionDisplayResults

Instance details

Defined in Unison.Server.Types

type Rep DefinitionDisplayResults = D1 ('MetaData "DefinitionDisplayResults" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "DefinitionDisplayResults" 'PrefixI 'True) (S1 ('MetaSel ('Just "termDefinitions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map UnisonHash TermDefinition)) :*: (S1 ('MetaSel ('Just "typeDefinitions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map UnisonHash TypeDefinition)) :*: S1 ('MetaSel ('Just "missingDefinitions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [HashQualifiedName]))))

Methods

from :: DefinitionDisplayResults -> Rep DefinitionDisplayResults x #

to :: Rep DefinitionDisplayResults x -> DefinitionDisplayResults #

Show DefinitionDisplayResults Source #

Instance details

Defined in Unison.Server.Types

Methods

showsPrec :: Int -> DefinitionDisplayResults -> ShowS #

show :: DefinitionDisplayResults -> String #

showList :: [DefinitionDisplayResults] -> ShowS #

Eq DefinitionDisplayResults Source #

Instance details

Defined in Unison.Server.Types

Methods

(==) :: DefinitionDisplayResults -> DefinitionDisplayResults -> Bool #

(/=) :: DefinitionDisplayResults -> DefinitionDisplayResults -> Bool #

Ord DefinitionDisplayResults Source #

Instance details

Defined in Unison.Server.Types

ToSchema DefinitionDisplayResults Source #

Instance details

Defined in Unison.Server.Types

Methods

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

ToSample DefinitionDisplayResults Source #

Instance details

Defined in Unison.Server.Local.Endpoints.Definitions

Methods

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

type Rep DefinitionDisplayResults Source #

Instance details

Defined in Unison.Server.Types

type Rep DefinitionDisplayResults = D1 ('MetaData "DefinitionDisplayResults" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "DefinitionDisplayResults" 'PrefixI 'True) (S1 ('MetaSel ('Just "termDefinitions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map UnisonHash TermDefinition)) :*: (S1 ('MetaSel ('Just "typeDefinitions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map UnisonHash TypeDefinition)) :*: S1 ('MetaSel ('Just "missingDefinitions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [HashQualifiedName]))))

data TermTag Source #

Constructors

Doc
Test
Plain
Constructor TypeTag

Instances

Instances details

FromJSON TermTag Source #

Instance details

Defined in Unison.Server.Types

Methods

parseJSON :: Value -> Parser TermTag #

parseJSONList :: Value -> Parser [TermTag] #

omittedField :: Maybe TermTag #

ToJSON TermTag Source #

Instance details

Defined in Unison.Server.Types

Methods

toJSON :: TermTag -> Value #

toEncoding :: TermTag -> Encoding #

toJSONList :: [TermTag] -> Value #

toEncodingList :: [TermTag] -> Encoding #

omitField :: TermTag -> Bool #

Generic TermTag Source #

Instance details

Defined in Unison.Server.Types

Associated Types

type Rep TermTag

Instance details

Defined in Unison.Server.Types

type Rep TermTag = D1 ('MetaData "TermTag" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) ((C1 ('MetaCons "Doc" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Test" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Plain" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Constructor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeTag))))

Methods

from :: TermTag -> Rep TermTag x #

to :: Rep TermTag x -> TermTag #

Show TermTag Source #

Instance details

Defined in Unison.Server.Types

Methods

showsPrec :: Int -> TermTag -> ShowS #

show :: TermTag -> String #

showList :: [TermTag] -> ShowS #

Eq TermTag Source #

Instance details

Defined in Unison.Server.Types

Methods

(==) :: TermTag -> TermTag -> Bool #

(/=) :: TermTag -> TermTag -> Bool #

Ord TermTag Source #

Instance details

Defined in Unison.Server.Types

Methods

compare :: TermTag -> TermTag -> Ordering #

(<) :: TermTag -> TermTag -> Bool #

(<=) :: TermTag -> TermTag -> Bool #

(>) :: TermTag -> TermTag -> Bool #

(>=) :: TermTag -> TermTag -> Bool #

max :: TermTag -> TermTag -> TermTag #

min :: TermTag -> TermTag -> TermTag #

ToSchema TermTag Source #

Instance details

Defined in Unison.Server.Types

Methods

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

type Rep TermTag Source #

Instance details

Defined in Unison.Server.Types

type Rep TermTag = D1 ('MetaData "TermTag" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) ((C1 ('MetaCons "Doc" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Test" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Plain" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Constructor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeTag))))

data TypeTag Source #

Constructors

Ability
Data

Instances

Instances details

FromJSON TypeTag Source #

Instance details

Defined in Unison.Server.Types

Methods

parseJSON :: Value -> Parser TypeTag #

parseJSONList :: Value -> Parser [TypeTag] #

omittedField :: Maybe TypeTag #

ToJSON TypeTag Source #

Instance details

Defined in Unison.Server.Types

Methods

toJSON :: TypeTag -> Value #

toEncoding :: TypeTag -> Encoding #

toJSONList :: [TypeTag] -> Value #

toEncodingList :: [TypeTag] -> Encoding #

omitField :: TypeTag -> Bool #

Generic TypeTag Source #

Instance details

Defined in Unison.Server.Types

Associated Types

type Rep TypeTag
Instance details Defined in Unison.Server.Types type Rep TypeTag = D1 ('MetaData "TypeTag" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "Ability" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Data" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: TypeTag -> Rep TypeTag x #

to :: Rep TypeTag x -> TypeTag #

Show TypeTag Source #

Instance details

Defined in Unison.Server.Types

Methods

showsPrec :: Int -> TypeTag -> ShowS #

show :: TypeTag -> String #

showList :: [TypeTag] -> ShowS #

Eq TypeTag Source #

Instance details

Defined in Unison.Server.Types

Methods

(==) :: TypeTag -> TypeTag -> Bool #

(/=) :: TypeTag -> TypeTag -> Bool #

Ord TypeTag Source #

Instance details

Defined in Unison.Server.Types

Methods

compare :: TypeTag -> TypeTag -> Ordering #

(<) :: TypeTag -> TypeTag -> Bool #

(<=) :: TypeTag -> TypeTag -> Bool #

(>) :: TypeTag -> TypeTag -> Bool #

(>=) :: TypeTag -> TypeTag -> Bool #

max :: TypeTag -> TypeTag -> TypeTag #

min :: TypeTag -> TypeTag -> TypeTag #

ToSchema TypeTag Source #

Instance details

Defined in Unison.Server.Types

Methods

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

type Rep TypeTag Source #

Instance details

Defined in Unison.Server.Types

type Rep TypeTag = D1 ('MetaData "TypeTag" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "Ability" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Data" 'PrefixI 'False) (U1 :: Type -> Type))

data SemanticSyntaxDiff a Source #

A type for semantic diffing of definitions. Includes special-cases for when the name in a definition has changed but the hash hasn't (rename/alias), and when the hash has changed but the name hasn't (update propagation).

Constructors

OnlyThisSide (NonEmpty (Segment a))
Both (NonEmpty (Segment a))
SegmentChange (Text, Text) (Maybe a)
AnnotationChange Text (Maybe a, Maybe a)

Instances

Instances details

FromJSON a => FromJSON (SemanticSyntaxDiff a) Source #

Instance details

Defined in Unison.Server.Types

Methods

parseJSON :: Value -> Parser (SemanticSyntaxDiff a) #

parseJSONList :: Value -> Parser [SemanticSyntaxDiff a] #

omittedField :: Maybe (SemanticSyntaxDiff a) #

ToJSON a => ToJSON (SemanticSyntaxDiff a) Source #

Instance details

Defined in Unison.Server.Types

Methods

toJSON :: SemanticSyntaxDiff a -> Value #

toEncoding :: SemanticSyntaxDiff a -> Encoding #

toJSONList :: [SemanticSyntaxDiff a] -> Value #

toEncodingList :: [SemanticSyntaxDiff a] -> Encoding #

omitField :: SemanticSyntaxDiff a -> Bool #

Generic (SemanticSyntaxDiff a) Source #

Instance details

Defined in Unison.Server.Types

Associated Types

type Rep (SemanticSyntaxDiff a)

Instance details

Defined in Unison.Server.Types

type Rep (SemanticSyntaxDiff a) = D1 ('MetaData "SemanticSyntaxDiff" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) ((C1 ('MetaCons "OnlyThisSide" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Segment a)))) :+: C1 ('MetaCons "Both" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Segment a))))) :+: (C1 ('MetaCons "SegmentChange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Text, Text)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a))) :+: C1 ('MetaCons "AnnotationChange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a, Maybe a)))))

Methods

from :: SemanticSyntaxDiff a -> Rep (SemanticSyntaxDiff a) x #

to :: Rep (SemanticSyntaxDiff a) x -> SemanticSyntaxDiff a #

Show a => Show (SemanticSyntaxDiff a) Source #

Instance details

Defined in Unison.Server.Types

Methods

showsPrec :: Int -> SemanticSyntaxDiff a -> ShowS #

show :: SemanticSyntaxDiff a -> String #

showList :: [SemanticSyntaxDiff a] -> ShowS #

Eq a => Eq (SemanticSyntaxDiff a) Source #

Instance details

Defined in Unison.Server.Types

Methods

(==) :: SemanticSyntaxDiff a -> SemanticSyntaxDiff a -> Bool #

(/=) :: SemanticSyntaxDiff a -> SemanticSyntaxDiff a -> Bool #

Ord a => Ord (SemanticSyntaxDiff a) Source #

Instance details

Defined in Unison.Server.Types

Methods

compare :: SemanticSyntaxDiff a -> SemanticSyntaxDiff a -> Ordering #

(<) :: SemanticSyntaxDiff a -> SemanticSyntaxDiff a -> Bool #

(<=) :: SemanticSyntaxDiff a -> SemanticSyntaxDiff a -> Bool #

(>) :: SemanticSyntaxDiff a -> SemanticSyntaxDiff a -> Bool #

(>=) :: SemanticSyntaxDiff a -> SemanticSyntaxDiff a -> Bool #

max :: SemanticSyntaxDiff a -> SemanticSyntaxDiff a -> SemanticSyntaxDiff a #

min :: SemanticSyntaxDiff a -> SemanticSyntaxDiff a -> SemanticSyntaxDiff a #

ToSchema a => ToSchema (SemanticSyntaxDiff a) Source #

Instance details

Defined in Unison.Server.Types

Methods

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

type Rep (SemanticSyntaxDiff a) Source #

Instance details

Defined in Unison.Server.Types

type Rep (SemanticSyntaxDiff a) = D1 ('MetaData "SemanticSyntaxDiff" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) ((C1 ('MetaCons "OnlyThisSide" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Segment a)))) :+: C1 ('MetaCons "Both" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Segment a))))) :+: (C1 ('MetaCons "SegmentChange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Text, Text)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a))) :+: C1 ('MetaCons "AnnotationChange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a, Maybe a)))))

data Changed a Source #

Constructors

Changed a
Unchanged a
Spacer

Instances

Instances details

Functor Changed Source #

Instance details

Defined in Unison.Server.Types

Methods

fmap :: (a -> b) -> Changed a -> Changed b #

(<$) :: a -> Changed b -> Changed a #

Foldable Changed Source #

Instance details

Defined in Unison.Server.Types

Methods

fold :: Monoid m => Changed m -> m #

foldMap :: Monoid m => (a -> m) -> Changed a -> m #

foldMap' :: Monoid m => (a -> m) -> Changed a -> m #

foldr :: (a -> b -> b) -> b -> Changed a -> b #

foldr' :: (a -> b -> b) -> b -> Changed a -> b #

foldl :: (b -> a -> b) -> b -> Changed a -> b #

foldl' :: (b -> a -> b) -> b -> Changed a -> b #

foldr1 :: (a -> a -> a) -> Changed a -> a #

foldl1 :: (a -> a -> a) -> Changed a -> a #

toList :: Changed a -> [a] #

null :: Changed a -> Bool #

length :: Changed a -> Int #

elem :: Eq a => a -> Changed a -> Bool #

maximum :: Ord a => Changed a -> a #

minimum :: Ord a => Changed a -> a #

sum :: Num a => Changed a -> a #

product :: Num a => Changed a -> a #

Traversable Changed Source #

Instance details

Defined in Unison.Server.Types

Methods

traverse :: Applicative f => (a -> f b) -> Changed a -> f (Changed b) #

sequenceA :: Applicative f => Changed (f a) -> f (Changed a) #

mapM :: Monad m => (a -> m b) -> Changed a -> m (Changed b) #

sequence :: Monad m => Changed (m a) -> m (Changed a) #

FromJSON a => FromJSON (Changed a) Source #

Instance details

Defined in Unison.Server.Types

Methods

parseJSON :: Value -> Parser (Changed a) #

parseJSONList :: Value -> Parser [Changed a] #

omittedField :: Maybe (Changed a) #

ToJSON a => ToJSON (Changed a) Source #

Instance details

Defined in Unison.Server.Types

Methods

toJSON :: Changed a -> Value #

toEncoding :: Changed a -> Encoding #

toJSONList :: [Changed a] -> Value #

toEncodingList :: [Changed a] -> Encoding #

omitField :: Changed a -> Bool #

Generic (Changed a) Source #

Instance details

Defined in Unison.Server.Types

Associated Types

type Rep (Changed a)

Instance details

Defined in Unison.Server.Types

type Rep (Changed a) = D1 ('MetaData "Changed" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "Changed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "Unchanged" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Spacer" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: Changed a -> Rep (Changed a) x #

to :: Rep (Changed a) x -> Changed a #

Show a => Show (Changed a) Source #

Instance details

Defined in Unison.Server.Types

Methods

showsPrec :: Int -> Changed a -> ShowS #

show :: Changed a -> String #

showList :: [Changed a] -> ShowS #

Eq a => Eq (Changed a) Source #

Instance details

Defined in Unison.Server.Types

Methods

(==) :: Changed a -> Changed a -> Bool #

(/=) :: Changed a -> Changed a -> Bool #

Ord a => Ord (Changed a) Source #

Instance details

Defined in Unison.Server.Types

Methods

compare :: Changed a -> Changed a -> Ordering #

(<) :: Changed a -> Changed a -> Bool #

(<=) :: Changed a -> Changed a -> Bool #

(>) :: Changed a -> Changed a -> Bool #

(>=) :: Changed a -> Changed a -> Bool #

max :: Changed a -> Changed a -> Changed a #

min :: Changed a -> Changed a -> Changed a #

ToSchema a => ToSchema (Changed a) Source #

Instance details

Defined in Unison.Server.Types

Methods

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

type Rep (Changed a) Source #

Instance details

Defined in Unison.Server.Types

type Rep (Changed a) = D1 ('MetaData "Changed" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "Changed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "Unchanged" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Spacer" 'PrefixI 'False) (U1 :: Type -> Type)))

data LinewiseDiff a Source #

Constructors

LinewiseDiff
Fields lhsLines :: [Changed [a]] rhsLines :: [Changed [a]]

Instances

Instances details

Functor LinewiseDiff Source #

Instance details

Defined in Unison.Server.Types

Methods

fmap :: (a -> b) -> LinewiseDiff a -> LinewiseDiff b #

(<$) :: a -> LinewiseDiff b -> LinewiseDiff a #

Foldable LinewiseDiff Source #

Instance details

Defined in Unison.Server.Types

Methods

fold :: Monoid m => LinewiseDiff m -> m #

foldMap :: Monoid m => (a -> m) -> LinewiseDiff a -> m #

foldMap' :: Monoid m => (a -> m) -> LinewiseDiff a -> m #

foldr :: (a -> b -> b) -> b -> LinewiseDiff a -> b #

foldr' :: (a -> b -> b) -> b -> LinewiseDiff a -> b #

foldl :: (b -> a -> b) -> b -> LinewiseDiff a -> b #

foldl' :: (b -> a -> b) -> b -> LinewiseDiff a -> b #

foldr1 :: (a -> a -> a) -> LinewiseDiff a -> a #

foldl1 :: (a -> a -> a) -> LinewiseDiff a -> a #

toList :: LinewiseDiff a -> [a] #

null :: LinewiseDiff a -> Bool #

length :: LinewiseDiff a -> Int #

elem :: Eq a => a -> LinewiseDiff a -> Bool #

maximum :: Ord a => LinewiseDiff a -> a #

minimum :: Ord a => LinewiseDiff a -> a #

sum :: Num a => LinewiseDiff a -> a #

product :: Num a => LinewiseDiff a -> a #

Traversable LinewiseDiff Source #

Instance details

Defined in Unison.Server.Types

Methods

traverse :: Applicative f => (a -> f b) -> LinewiseDiff a -> f (LinewiseDiff b) #

sequenceA :: Applicative f => LinewiseDiff (f a) -> f (LinewiseDiff a) #

mapM :: Monad m => (a -> m b) -> LinewiseDiff a -> m (LinewiseDiff b) #

sequence :: Monad m => LinewiseDiff (m a) -> m (LinewiseDiff a) #

FromJSON a => FromJSON (LinewiseDiff a) Source #

Instance details

Defined in Unison.Server.Types

Methods

parseJSON :: Value -> Parser (LinewiseDiff a) #

parseJSONList :: Value -> Parser [LinewiseDiff a] #

omittedField :: Maybe (LinewiseDiff a) #

ToJSON a => ToJSON (LinewiseDiff a) Source #

Instance details

Defined in Unison.Server.Types

Methods

toJSON :: LinewiseDiff a -> Value #

toEncoding :: LinewiseDiff a -> Encoding #

toJSONList :: [LinewiseDiff a] -> Value #

toEncodingList :: [LinewiseDiff a] -> Encoding #

omitField :: LinewiseDiff a -> Bool #

Generic (LinewiseDiff a) Source #

Instance details

Defined in Unison.Server.Types

Associated Types

type Rep (LinewiseDiff a)

Instance details

Defined in Unison.Server.Types

type Rep (LinewiseDiff a) = D1 ('MetaData "LinewiseDiff" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "LinewiseDiff" 'PrefixI 'True) (S1 ('MetaSel ('Just "lhsLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Changed [a]]) :*: S1 ('MetaSel ('Just "rhsLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Changed [a]])))

Methods

from :: LinewiseDiff a -> Rep (LinewiseDiff a) x #

to :: Rep (LinewiseDiff a) x -> LinewiseDiff a #

Show a => Show (LinewiseDiff a) Source #

Instance details

Defined in Unison.Server.Types

Methods

showsPrec :: Int -> LinewiseDiff a -> ShowS #

show :: LinewiseDiff a -> String #

showList :: [LinewiseDiff a] -> ShowS #

Eq a => Eq (LinewiseDiff a) Source #

Instance details

Defined in Unison.Server.Types

Methods

(==) :: LinewiseDiff a -> LinewiseDiff a -> Bool #

(/=) :: LinewiseDiff a -> LinewiseDiff a -> Bool #

Ord a => Ord (LinewiseDiff a) Source #

Instance details

Defined in Unison.Server.Types

Methods

compare :: LinewiseDiff a -> LinewiseDiff a -> Ordering #

(<) :: LinewiseDiff a -> LinewiseDiff a -> Bool #

(<=) :: LinewiseDiff a -> LinewiseDiff a -> Bool #

(>) :: LinewiseDiff a -> LinewiseDiff a -> Bool #

(>=) :: LinewiseDiff a -> LinewiseDiff a -> Bool #

max :: LinewiseDiff a -> LinewiseDiff a -> LinewiseDiff a #

min :: LinewiseDiff a -> LinewiseDiff a -> LinewiseDiff a #

ToSchema a => ToSchema (LinewiseDiff a) Source #

Instance details

Defined in Unison.Server.Types

Methods

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

type Rep (LinewiseDiff a) Source #

Instance details

Defined in Unison.Server.Types

type Rep (LinewiseDiff a) = D1 ('MetaData "LinewiseDiff" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "LinewiseDiff" 'PrefixI 'True) (S1 ('MetaSel ('Just "lhsLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Changed [a]]) :*: S1 ('MetaSel ('Just "rhsLines") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Changed [a]])))

data Paired a Source #

Constructors

OneSided a
Paired a a

Instances

Instances details

Show a => Show (Paired a) Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> Paired a -> ShowS # show :: Paired a -> String # showList :: [Paired a] -> ShowS #
Eq a => Eq (Paired a) Source #
Instance details Defined in Unison.Server.Types Methods (==) :: Paired a -> Paired a -> Bool # (/=) :: Paired a -> Paired a -> Bool #
Ord a => Ord (Paired a) Source #
Instance details Defined in Unison.Server.Types Methods compare :: Paired a -> Paired a -> Ordering # (<) :: Paired a -> Paired a -> Bool # (<=) :: Paired a -> Paired a -> Bool # (>) :: Paired a -> Paired a -> Bool # (>=) :: Paired a -> Paired a -> Bool # max :: Paired a -> Paired a -> Paired a # min :: Paired a -> Paired a -> Paired a #

swapPair :: Paired a -> Paired a Source #

data DisplayObjectDiff Source #

A diff of the syntax of a term or type

It doesn't make sense to diff builtins with ABTs, so in that case we just provide the undiffed syntax.

Constructors

DisplayObjectDiff (DisplayObject (LinewiseDiff (SemanticSyntaxDiff Element)) (LinewiseDiff (SemanticSyntaxDiff Element)))
MismatchedDisplayObjects (DisplayObject SyntaxText SyntaxText) (DisplayObject SyntaxText SyntaxText)

Instances

Instances details

Generic DisplayObjectDiff Source #

Instance details

Defined in Unison.Server.Types

Associated Types

type Rep DisplayObjectDiff

Instance details

Defined in Unison.Server.Types

type Rep DisplayObjectDiff = D1 ('MetaData "DisplayObjectDiff" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "DisplayObjectDiff" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DisplayObject (LinewiseDiff (SemanticSyntaxDiff Element)) (LinewiseDiff (SemanticSyntaxDiff Element))))) :+: C1 ('MetaCons "MismatchedDisplayObjects" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DisplayObject SyntaxText SyntaxText)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DisplayObject SyntaxText SyntaxText))))

Methods

from :: DisplayObjectDiff -> Rep DisplayObjectDiff x #

to :: Rep DisplayObjectDiff x -> DisplayObjectDiff #

Show DisplayObjectDiff Source #

Instance details

Defined in Unison.Server.Types

Methods

showsPrec :: Int -> DisplayObjectDiff -> ShowS #

show :: DisplayObjectDiff -> String #

showList :: [DisplayObjectDiff] -> ShowS #

Eq DisplayObjectDiff Source #

Instance details

Defined in Unison.Server.Types

Methods

(==) :: DisplayObjectDiff -> DisplayObjectDiff -> Bool #

(/=) :: DisplayObjectDiff -> DisplayObjectDiff -> Bool #

Ord DisplayObjectDiff Source #

Instance details

Defined in Unison.Server.Types

Methods

compare :: DisplayObjectDiff -> DisplayObjectDiff -> Ordering #

(<) :: DisplayObjectDiff -> DisplayObjectDiff -> Bool #

(<=) :: DisplayObjectDiff -> DisplayObjectDiff -> Bool #

(>) :: DisplayObjectDiff -> DisplayObjectDiff -> Bool #

(>=) :: DisplayObjectDiff -> DisplayObjectDiff -> Bool #

max :: DisplayObjectDiff -> DisplayObjectDiff -> DisplayObjectDiff #

min :: DisplayObjectDiff -> DisplayObjectDiff -> DisplayObjectDiff #

ToSchema DisplayObjectDiff Source #

Instance details

Defined in Unison.Server.Types

Methods

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

type Rep DisplayObjectDiff Source #

Instance details

Defined in Unison.Server.Types

type Rep DisplayObjectDiff = D1 ('MetaData "DisplayObjectDiff" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "DisplayObjectDiff" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DisplayObject (LinewiseDiff (SemanticSyntaxDiff Element)) (LinewiseDiff (SemanticSyntaxDiff Element))))) :+: C1 ('MetaCons "MismatchedDisplayObjects" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DisplayObject SyntaxText SyntaxText)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DisplayObject SyntaxText SyntaxText))))

data UnisonRef Source #

Constructors

TypeRef UnisonHash
TermRef UnisonHash

Instances

Instances details

Generic UnisonRef Source #

Instance details

Defined in Unison.Server.Types

Associated Types

type Rep UnisonRef

Instance details

Defined in Unison.Server.Types

type Rep UnisonRef = D1 ('MetaData "UnisonRef" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "TypeRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnisonHash)) :+: C1 ('MetaCons "TermRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnisonHash)))

Methods

from :: UnisonRef -> Rep UnisonRef x #

to :: Rep UnisonRef x -> UnisonRef #

Show UnisonRef Source #

Instance details

Defined in Unison.Server.Types

Methods

showsPrec :: Int -> UnisonRef -> ShowS #

show :: UnisonRef -> String #

showList :: [UnisonRef] -> ShowS #

Eq UnisonRef Source #

Instance details

Defined in Unison.Server.Types

Methods

(==) :: UnisonRef -> UnisonRef -> Bool #

(/=) :: UnisonRef -> UnisonRef -> Bool #

Ord UnisonRef Source #

Instance details

Defined in Unison.Server.Types

Methods

compare :: UnisonRef -> UnisonRef -> Ordering #

(<) :: UnisonRef -> UnisonRef -> Bool #

(<=) :: UnisonRef -> UnisonRef -> Bool #

(>) :: UnisonRef -> UnisonRef -> Bool #

(>=) :: UnisonRef -> UnisonRef -> Bool #

max :: UnisonRef -> UnisonRef -> UnisonRef #

min :: UnisonRef -> UnisonRef -> UnisonRef #

type Rep UnisonRef Source #

Instance details

Defined in Unison.Server.Types

type Rep UnisonRef = D1 ('MetaData "UnisonRef" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "TypeRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnisonHash)) :+: C1 ('MetaCons "TermRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnisonHash)))

unisonRefToText :: UnisonRef -> Text Source #

data NamedTerm Source #

Constructors

NamedTerm
Fields termName :: HashQualified Name termHash :: ShortHash termType :: Maybe SyntaxText termTag :: TermTag

Instances

Instances details

FromJSON NamedTerm Source #

Instance details

Defined in Unison.Server.Types

Methods

parseJSON :: Value -> Parser NamedTerm #

parseJSONList :: Value -> Parser [NamedTerm] #

omittedField :: Maybe NamedTerm #

ToJSON NamedTerm Source #

Instance details

Defined in Unison.Server.Types

Methods

toJSON :: NamedTerm -> Value #

toEncoding :: NamedTerm -> Encoding #

toJSONList :: [NamedTerm] -> Value #

toEncodingList :: [NamedTerm] -> Encoding #

omitField :: NamedTerm -> Bool #

Generic NamedTerm Source #

Instance details

Defined in Unison.Server.Types

Associated Types

type Rep NamedTerm

Instance details

Defined in Unison.Server.Types

type Rep NamedTerm = D1 ('MetaData "NamedTerm" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "NamedTerm" 'PrefixI 'True) ((S1 ('MetaSel ('Just "termName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashQualified Name)) :*: S1 ('MetaSel ('Just "termHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortHash)) :*: (S1 ('MetaSel ('Just "termType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SyntaxText)) :*: S1 ('MetaSel ('Just "termTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermTag))))

Methods

from :: NamedTerm -> Rep NamedTerm x #

to :: Rep NamedTerm x -> NamedTerm #

Show NamedTerm Source #

Instance details

Defined in Unison.Server.Types

Methods

showsPrec :: Int -> NamedTerm -> ShowS #

show :: NamedTerm -> String #

showList :: [NamedTerm] -> ShowS #

Eq NamedTerm Source #

Instance details

Defined in Unison.Server.Types

Methods

(==) :: NamedTerm -> NamedTerm -> Bool #

(/=) :: NamedTerm -> NamedTerm -> Bool #

Ord NamedTerm Source #

Instance details

Defined in Unison.Server.Types

Methods

compare :: NamedTerm -> NamedTerm -> Ordering #

(<) :: NamedTerm -> NamedTerm -> Bool #

(<=) :: NamedTerm -> NamedTerm -> Bool #

(>) :: NamedTerm -> NamedTerm -> Bool #

(>=) :: NamedTerm -> NamedTerm -> Bool #

max :: NamedTerm -> NamedTerm -> NamedTerm #

min :: NamedTerm -> NamedTerm -> NamedTerm #

ToSchema NamedTerm Source #

Instance details

Defined in Unison.Server.Types

Methods

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

type Rep NamedTerm Source #

Instance details

Defined in Unison.Server.Types

type Rep NamedTerm = D1 ('MetaData "NamedTerm" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "NamedTerm" 'PrefixI 'True) ((S1 ('MetaSel ('Just "termName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashQualified Name)) :*: S1 ('MetaSel ('Just "termHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortHash)) :*: (S1 ('MetaSel ('Just "termType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SyntaxText)) :*: S1 ('MetaSel ('Just "termTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermTag))))

data NamedType Source #

Constructors

NamedType
Fields typeName :: HashQualified Name typeHash :: ShortHash typeTag :: TypeTag

Instances

Instances details

FromJSON NamedType Source #

Instance details

Defined in Unison.Server.Types

Methods

parseJSON :: Value -> Parser NamedType #

parseJSONList :: Value -> Parser [NamedType] #

omittedField :: Maybe NamedType #

ToJSON NamedType Source #

Instance details

Defined in Unison.Server.Types

Methods

toJSON :: NamedType -> Value #

toEncoding :: NamedType -> Encoding #

toJSONList :: [NamedType] -> Value #

toEncodingList :: [NamedType] -> Encoding #

omitField :: NamedType -> Bool #

Generic NamedType Source #

Instance details

Defined in Unison.Server.Types

Associated Types

type Rep NamedType

Instance details

Defined in Unison.Server.Types

type Rep NamedType = D1 ('MetaData "NamedType" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "NamedType" 'PrefixI 'True) (S1 ('MetaSel ('Just "typeName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashQualified Name)) :*: (S1 ('MetaSel ('Just "typeHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortHash) :*: S1 ('MetaSel ('Just "typeTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeTag))))

Methods

from :: NamedType -> Rep NamedType x #

to :: Rep NamedType x -> NamedType #

Show NamedType Source #

Instance details

Defined in Unison.Server.Types

Methods

showsPrec :: Int -> NamedType -> ShowS #

show :: NamedType -> String #

showList :: [NamedType] -> ShowS #

Eq NamedType Source #

Instance details

Defined in Unison.Server.Types

Methods

(==) :: NamedType -> NamedType -> Bool #

(/=) :: NamedType -> NamedType -> Bool #

Ord NamedType Source #

Instance details

Defined in Unison.Server.Types

Methods

compare :: NamedType -> NamedType -> Ordering #

(<) :: NamedType -> NamedType -> Bool #

(<=) :: NamedType -> NamedType -> Bool #

(>) :: NamedType -> NamedType -> Bool #

(>=) :: NamedType -> NamedType -> Bool #

max :: NamedType -> NamedType -> NamedType #

min :: NamedType -> NamedType -> NamedType #

ToSchema NamedType Source #

Instance details

Defined in Unison.Server.Types

Methods

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

type Rep NamedType Source #

Instance details

Defined in Unison.Server.Types

type Rep NamedType = D1 ('MetaData "NamedType" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "NamedType" 'PrefixI 'True) (S1 ('MetaSel ('Just "typeName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashQualified Name)) :*: (S1 ('MetaSel ('Just "typeHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortHash) :*: S1 ('MetaSel ('Just "typeTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeTag))))

munge :: Text -> ByteString Source #

mungeShow :: Show s => s -> ByteString Source #

mungeString :: String -> ByteString Source #

defaultWidth :: Width Source #

discard :: Applicative m => a -> m () Source #

mayDefaultWidth :: Maybe Width -> Width Source #

setCacheControl :: v -> APIHeaders v Source #

branchToUnisonHash :: forall (m :: Type -> Type). Branch m -> UnisonHash Source #

v2CausalBranchToUnisonHash :: forall (m :: Type -> Type). CausalBranch m -> UnisonHash Source #

newtype ProjectBranchNameParam Source #

Constructors

ProjectBranchNameParam
Fields unProjectBranchNameParam :: ProjectAndBranch ProjectName ProjectBranchName

Instances

Instances details

Generic ProjectBranchNameParam Source #

Instance details

Defined in Unison.Server.Types

Associated Types

type Rep ProjectBranchNameParam

Instance details

Defined in Unison.Server.Types

type Rep ProjectBranchNameParam = D1 ('MetaData "ProjectBranchNameParam" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'True) (C1 ('MetaCons "ProjectBranchNameParam" 'PrefixI 'True) (S1 ('MetaSel ('Just "unProjectBranchNameParam") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProjectAndBranch ProjectName ProjectBranchName))))

Methods

from :: ProjectBranchNameParam -> Rep ProjectBranchNameParam x #

to :: Rep ProjectBranchNameParam x -> ProjectBranchNameParam #

Show ProjectBranchNameParam Source #

Instance details

Defined in Unison.Server.Types

Methods

showsPrec :: Int -> ProjectBranchNameParam -> ShowS #

show :: ProjectBranchNameParam -> String #

showList :: [ProjectBranchNameParam] -> ShowS #

Eq ProjectBranchNameParam Source #

Instance details

Defined in Unison.Server.Types

Methods

(==) :: ProjectBranchNameParam -> ProjectBranchNameParam -> Bool #

(/=) :: ProjectBranchNameParam -> ProjectBranchNameParam -> Bool #

FromHttpApiData ProjectBranchNameParam Source #

Parses URL escaped project and branch names, e.g. `unison%2Fbase%2Fmain` or `unison%2Fbase%2F@runarorama%2Fmain`

Instance details

Defined in Unison.Server.Types

Methods

parseUrlPiece :: Text -> Either Text ProjectBranchNameParam #

parseHeader :: ByteString -> Either Text ProjectBranchNameParam #

parseQueryParam :: Text -> Either Text ProjectBranchNameParam #

ToParamSchema ProjectBranchNameParam Source #

Instance details

Defined in Unison.Server.Types

Methods

toParamSchema :: Proxy ProjectBranchNameParam -> Schema #

ToCapture (Capture "project-and-branch" ProjectBranchNameParam) Source #

Instance details

Defined in Unison.Server.Types

Methods

toCapture :: Proxy (Capture "project-and-branch" ProjectBranchNameParam) -> DocCapture #

ToParam (QueryParam "project-and-branch" ProjectBranchNameParam) Source #

Instance details

Defined in Unison.Server.Types

Methods

toParam :: Proxy (QueryParam "project-and-branch" ProjectBranchNameParam) -> DocQueryParam #

type Rep ProjectBranchNameParam Source #

Instance details

Defined in Unison.Server.Types

type Rep ProjectBranchNameParam = D1 ('MetaData "ProjectBranchNameParam" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'True) (C1 ('MetaCons "ProjectBranchNameParam" 'PrefixI 'True) (S1 ('MetaSel ('Just "unProjectBranchNameParam") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ProjectAndBranch ProjectName ProjectBranchName))))

data TermDiffResponse Source #

Constructors

TermDiffResponse
Fields project :: ProjectName oldBranch :: ProjectBranchName newBranch :: ProjectBranchName oldTerm :: TermDefinition newTerm :: TermDefinition diff :: DisplayObjectDiff

Instances

Instances details

FromJSON TermDiffResponse Source #

Instance details

Defined in Unison.Server.Types

Methods

parseJSON :: Value -> Parser TermDiffResponse #

parseJSONList :: Value -> Parser [TermDiffResponse] #

omittedField :: Maybe TermDiffResponse #

ToJSON TermDiffResponse Source #

Instance details

Defined in Unison.Server.Types

Methods

toJSON :: TermDiffResponse -> Value #

toEncoding :: TermDiffResponse -> Encoding #

toJSONList :: [TermDiffResponse] -> Value #

toEncodingList :: [TermDiffResponse] -> Encoding #

omitField :: TermDiffResponse -> Bool #

Generic TermDiffResponse Source #

Instance details

Defined in Unison.Server.Types

Associated Types

type Rep TermDiffResponse

Instance details

Defined in Unison.Server.Types

type Rep TermDiffResponse = D1 ('MetaData "TermDiffResponse" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "TermDiffResponse" 'PrefixI 'True) ((S1 ('MetaSel ('Just "project") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectName) :*: (S1 ('MetaSel ('Just "oldBranch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectBranchName) :*: S1 ('MetaSel ('Just "newBranch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectBranchName))) :*: (S1 ('MetaSel ('Just "oldTerm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermDefinition) :*: (S1 ('MetaSel ('Just "newTerm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermDefinition) :*: S1 ('MetaSel ('Just "diff") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DisplayObjectDiff)))))

Methods

from :: TermDiffResponse -> Rep TermDiffResponse x #

to :: Rep TermDiffResponse x -> TermDiffResponse #

Show TermDiffResponse Source #

Instance details

Defined in Unison.Server.Types

Methods

showsPrec :: Int -> TermDiffResponse -> ShowS #

show :: TermDiffResponse -> String #

showList :: [TermDiffResponse] -> ShowS #

Eq TermDiffResponse Source #

Instance details

Defined in Unison.Server.Types

Methods

(==) :: TermDiffResponse -> TermDiffResponse -> Bool #

(/=) :: TermDiffResponse -> TermDiffResponse -> Bool #

Ord TermDiffResponse Source #

Instance details

Defined in Unison.Server.Types

Methods

compare :: TermDiffResponse -> TermDiffResponse -> Ordering #

(<) :: TermDiffResponse -> TermDiffResponse -> Bool #

(<=) :: TermDiffResponse -> TermDiffResponse -> Bool #

(>) :: TermDiffResponse -> TermDiffResponse -> Bool #

(>=) :: TermDiffResponse -> TermDiffResponse -> Bool #

max :: TermDiffResponse -> TermDiffResponse -> TermDiffResponse #

min :: TermDiffResponse -> TermDiffResponse -> TermDiffResponse #

ToSchema TermDiffResponse Source #

Instance details

Defined in Unison.Server.Types

Methods

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

ToSample TermDiffResponse Source #

Instance details

Defined in Unison.Server.Types

Methods

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

type Rep TermDiffResponse Source #

Instance details

Defined in Unison.Server.Types

type Rep TermDiffResponse = D1 ('MetaData "TermDiffResponse" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "TermDiffResponse" 'PrefixI 'True) ((S1 ('MetaSel ('Just "project") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectName) :*: (S1 ('MetaSel ('Just "oldBranch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectBranchName) :*: S1 ('MetaSel ('Just "newBranch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectBranchName))) :*: (S1 ('MetaSel ('Just "oldTerm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermDefinition) :*: (S1 ('MetaSel ('Just "newTerm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermDefinition) :*: S1 ('MetaSel ('Just "diff") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DisplayObjectDiff)))))

data TypeDiffResponse Source #

Constructors

TypeDiffResponse
Fields project :: ProjectName oldBranch :: ProjectBranchName newBranch :: ProjectBranchName oldType :: TypeDefinition newType :: TypeDefinition diff :: DisplayObjectDiff

Instances

Instances details

FromJSON TypeDiffResponse Source #

Instance details

Defined in Unison.Server.Types

Methods

parseJSON :: Value -> Parser TypeDiffResponse #

parseJSONList :: Value -> Parser [TypeDiffResponse] #

omittedField :: Maybe TypeDiffResponse #

ToJSON TypeDiffResponse Source #

Instance details

Defined in Unison.Server.Types

Methods

toJSON :: TypeDiffResponse -> Value #

toEncoding :: TypeDiffResponse -> Encoding #

toJSONList :: [TypeDiffResponse] -> Value #

toEncodingList :: [TypeDiffResponse] -> Encoding #

omitField :: TypeDiffResponse -> Bool #

Generic TypeDiffResponse Source #

Instance details

Defined in Unison.Server.Types

Associated Types

type Rep TypeDiffResponse

Instance details

Defined in Unison.Server.Types

type Rep TypeDiffResponse = D1 ('MetaData "TypeDiffResponse" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "TypeDiffResponse" 'PrefixI 'True) ((S1 ('MetaSel ('Just "project") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectName) :*: (S1 ('MetaSel ('Just "oldBranch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectBranchName) :*: S1 ('MetaSel ('Just "newBranch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectBranchName))) :*: (S1 ('MetaSel ('Just "oldType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeDefinition) :*: (S1 ('MetaSel ('Just "newType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeDefinition) :*: S1 ('MetaSel ('Just "diff") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DisplayObjectDiff)))))

Methods

from :: TypeDiffResponse -> Rep TypeDiffResponse x #

to :: Rep TypeDiffResponse x -> TypeDiffResponse #

Show TypeDiffResponse Source #

Instance details

Defined in Unison.Server.Types

Methods

showsPrec :: Int -> TypeDiffResponse -> ShowS #

show :: TypeDiffResponse -> String #

showList :: [TypeDiffResponse] -> ShowS #

Eq TypeDiffResponse Source #

Instance details

Defined in Unison.Server.Types

Methods

(==) :: TypeDiffResponse -> TypeDiffResponse -> Bool #

(/=) :: TypeDiffResponse -> TypeDiffResponse -> Bool #

Ord TypeDiffResponse Source #

Instance details

Defined in Unison.Server.Types

Methods

compare :: TypeDiffResponse -> TypeDiffResponse -> Ordering #

(<) :: TypeDiffResponse -> TypeDiffResponse -> Bool #

(<=) :: TypeDiffResponse -> TypeDiffResponse -> Bool #

(>) :: TypeDiffResponse -> TypeDiffResponse -> Bool #

(>=) :: TypeDiffResponse -> TypeDiffResponse -> Bool #

max :: TypeDiffResponse -> TypeDiffResponse -> TypeDiffResponse #

min :: TypeDiffResponse -> TypeDiffResponse -> TypeDiffResponse #

ToSchema TypeDiffResponse Source #

Instance details

Defined in Unison.Server.Types

Methods

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

ToSample TypeDiffResponse Source #

Instance details

Defined in Unison.Server.Types

Methods

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

type Rep TypeDiffResponse Source #

Instance details

Defined in Unison.Server.Types

type Rep TypeDiffResponse = D1 ('MetaData "TypeDiffResponse" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "TypeDiffResponse" 'PrefixI 'True) ((S1 ('MetaSel ('Just "project") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectName) :*: (S1 ('MetaSel ('Just "oldBranch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectBranchName) :*: S1 ('MetaSel ('Just "newBranch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectBranchName))) :*: (S1 ('MetaSel ('Just "oldType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeDefinition) :*: (S1 ('MetaSel ('Just "newType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeDefinition) :*: S1 ('MetaSel ('Just "diff") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DisplayObjectDiff)))))

type RequiredQueryParam = QueryParam' '[Required, Strict] Source #

Servant utility for a query param that's required, providing a useful error message if it's missing.

data DefinitionNameSearchResult Source #

Constructors

DefinitionNameSearchResult
Fields token :: Name tag :: TermOrTypeTag

Instances

Instances details

FromJSON DefinitionNameSearchResult Source #
Instance details Defined in Unison.Server.Types Methods parseJSON :: Value -> Parser DefinitionNameSearchResult # parseJSONList :: Value -> Parser [DefinitionNameSearchResult] # omittedField :: Maybe DefinitionNameSearchResult #
ToJSON DefinitionNameSearchResult Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: DefinitionNameSearchResult -> Value # toEncoding :: DefinitionNameSearchResult -> Encoding # toJSONList :: [DefinitionNameSearchResult] -> Value # toEncodingList :: [DefinitionNameSearchResult] -> Encoding # omitField :: DefinitionNameSearchResult -> Bool #

newtype DefinitionSearchResults Source #

Constructors

DefinitionSearchResults
Fields results :: [DefinitionSearchResult]

Instances

Instances details

FromJSON DefinitionSearchResults Source #

Instance details

Defined in Unison.Server.Types

Methods

parseJSON :: Value -> Parser DefinitionSearchResults #

parseJSONList :: Value -> Parser [DefinitionSearchResults] #

omittedField :: Maybe DefinitionSearchResults #

ToJSON DefinitionSearchResults Source #

Instance details

Defined in Unison.Server.Types

Methods

toJSON :: DefinitionSearchResults -> Value #

toEncoding :: DefinitionSearchResults -> Encoding #

toJSONList :: [DefinitionSearchResults] -> Value #

toEncodingList :: [DefinitionSearchResults] -> Encoding #

omitField :: DefinitionSearchResults -> Bool #

Generic DefinitionSearchResults Source #

Instance details

Defined in Unison.Server.Types

Associated Types

type Rep DefinitionSearchResults
Instance details Defined in Unison.Server.Types type Rep DefinitionSearchResults = D1 ('MetaData "DefinitionSearchResults" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'True) (C1 ('MetaCons "DefinitionSearchResults" 'PrefixI 'True) (S1 ('MetaSel ('Just "results") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DefinitionSearchResult])))

Methods

from :: DefinitionSearchResults -> Rep DefinitionSearchResults x #

to :: Rep DefinitionSearchResults x -> DefinitionSearchResults #

Show DefinitionSearchResults Source #

Instance details

Defined in Unison.Server.Types

Methods

showsPrec :: Int -> DefinitionSearchResults -> ShowS #

show :: DefinitionSearchResults -> String #

showList :: [DefinitionSearchResults] -> ShowS #

Eq DefinitionSearchResults Source #

Instance details

Defined in Unison.Server.Types

Methods

(==) :: DefinitionSearchResults -> DefinitionSearchResults -> Bool #

(/=) :: DefinitionSearchResults -> DefinitionSearchResults -> Bool #

ToSchema DefinitionSearchResults Source #

Instance details

Defined in Unison.Server.Types

Methods

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

ToSample DefinitionSearchResults Source #

Instance details

Defined in Unison.Server.Types

Methods

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

type Rep DefinitionSearchResults Source #

Instance details

Defined in Unison.Server.Types

type Rep DefinitionSearchResults = D1 ('MetaData "DefinitionSearchResults" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'True) (C1 ('MetaCons "DefinitionSearchResults" 'PrefixI 'True) (S1 ('MetaSel ('Just "results") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DefinitionSearchResult])))

data DefinitionSearchResult Source #

Constructors

DefinitionSearchResult
Fields fqn :: Name summary :: TermOrTypeSummary project :: ProjectName branchRef :: ProjectBranchName

Instances

Instances details

FromJSON DefinitionSearchResult Source #

Instance details

Defined in Unison.Server.Types

Methods

parseJSON :: Value -> Parser DefinitionSearchResult #

parseJSONList :: Value -> Parser [DefinitionSearchResult] #

omittedField :: Maybe DefinitionSearchResult #

ToJSON DefinitionSearchResult Source #

Instance details

Defined in Unison.Server.Types

Methods

toJSON :: DefinitionSearchResult -> Value #

toEncoding :: DefinitionSearchResult -> Encoding #

toJSONList :: [DefinitionSearchResult] -> Value #

toEncodingList :: [DefinitionSearchResult] -> Encoding #

omitField :: DefinitionSearchResult -> Bool #

Generic DefinitionSearchResult Source #

Instance details

Defined in Unison.Server.Types

Associated Types

type Rep DefinitionSearchResult

Instance details

Defined in Unison.Server.Types

type Rep DefinitionSearchResult = D1 ('MetaData "DefinitionSearchResult" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "DefinitionSearchResult" 'PrefixI 'True) ((S1 ('MetaSel ('Just "fqn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Just "summary") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermOrTypeSummary)) :*: (S1 ('MetaSel ('Just "project") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectName) :*: S1 ('MetaSel ('Just "branchRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectBranchName))))

Methods

from :: DefinitionSearchResult -> Rep DefinitionSearchResult x #

to :: Rep DefinitionSearchResult x -> DefinitionSearchResult #

Show DefinitionSearchResult Source #

Instance details

Defined in Unison.Server.Types

Methods

showsPrec :: Int -> DefinitionSearchResult -> ShowS #

show :: DefinitionSearchResult -> String #

showList :: [DefinitionSearchResult] -> ShowS #

Eq DefinitionSearchResult Source #

Instance details

Defined in Unison.Server.Types

Methods

(==) :: DefinitionSearchResult -> DefinitionSearchResult -> Bool #

(/=) :: DefinitionSearchResult -> DefinitionSearchResult -> Bool #

ToSchema DefinitionSearchResult Source #

Instance details

Defined in Unison.Server.Types

Methods

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

type Rep DefinitionSearchResult Source #

Instance details

Defined in Unison.Server.Types

type Rep DefinitionSearchResult = D1 ('MetaData "DefinitionSearchResult" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "DefinitionSearchResult" 'PrefixI 'True) ((S1 ('MetaSel ('Just "fqn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Just "summary") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermOrTypeSummary)) :*: (S1 ('MetaSel ('Just "project") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectName) :*: S1 ('MetaSel ('Just "branchRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectBranchName))))

data TermSummary Source #

Constructors

TermSummary
Fields displayName :: HashQualified Name hash :: ShortHash summary :: DisplayObject SyntaxText SyntaxText tag :: TermTag

Instances

Instances details

ToJSON TermSummary Source #

Instance details

Defined in Unison.Server.Types

Methods

toJSON :: TermSummary -> Value #

toEncoding :: TermSummary -> Encoding #

toJSONList :: [TermSummary] -> Value #

toEncodingList :: [TermSummary] -> Encoding #

omitField :: TermSummary -> Bool #

Generic TermSummary Source #

Instance details

Defined in Unison.Server.Types

Associated Types

type Rep TermSummary

Instance details

Defined in Unison.Server.Types

type Rep TermSummary = D1 ('MetaData "TermSummary" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "TermSummary" 'PrefixI 'True) ((S1 ('MetaSel ('Just "displayName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashQualified Name)) :*: S1 ('MetaSel ('Just "hash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortHash)) :*: (S1 ('MetaSel ('Just "summary") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DisplayObject SyntaxText SyntaxText)) :*: S1 ('MetaSel ('Just "tag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermTag))))

Methods

from :: TermSummary -> Rep TermSummary x #

to :: Rep TermSummary x -> TermSummary #

Show TermSummary Source #

Instance details

Defined in Unison.Server.Types

Methods

showsPrec :: Int -> TermSummary -> ShowS #

show :: TermSummary -> String #

showList :: [TermSummary] -> ShowS #

Eq TermSummary Source #

Instance details

Defined in Unison.Server.Types

Methods

(==) :: TermSummary -> TermSummary -> Bool #

(/=) :: TermSummary -> TermSummary -> Bool #

Ord TermSummary Source #

Instance details

Defined in Unison.Server.Types

Methods

compare :: TermSummary -> TermSummary -> Ordering #

(<) :: TermSummary -> TermSummary -> Bool #

(<=) :: TermSummary -> TermSummary -> Bool #

(>) :: TermSummary -> TermSummary -> Bool #

(>=) :: TermSummary -> TermSummary -> Bool #

max :: TermSummary -> TermSummary -> TermSummary #

min :: TermSummary -> TermSummary -> TermSummary #

ToSchema TermSummary Source #

Instance details

Defined in Unison.Server.Types

Methods

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

ToSample TermSummary Source #

Instance details

Defined in Unison.Server.Types

Methods

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

type Rep TermSummary Source #

Instance details

Defined in Unison.Server.Types

type Rep TermSummary = D1 ('MetaData "TermSummary" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "TermSummary" 'PrefixI 'True) ((S1 ('MetaSel ('Just "displayName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashQualified Name)) :*: S1 ('MetaSel ('Just "hash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortHash)) :*: (S1 ('MetaSel ('Just "summary") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DisplayObject SyntaxText SyntaxText)) :*: S1 ('MetaSel ('Just "tag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermTag))))

data TypeSummary Source #

Constructors

TypeSummary
Fields displayName :: HashQualified Name hash :: ShortHash summary :: DisplayObject SyntaxText SyntaxText tag :: TypeTag

Instances

Instances details

ToJSON TypeSummary Source #

Instance details

Defined in Unison.Server.Types

Methods

toJSON :: TypeSummary -> Value #

toEncoding :: TypeSummary -> Encoding #

toJSONList :: [TypeSummary] -> Value #

toEncodingList :: [TypeSummary] -> Encoding #

omitField :: TypeSummary -> Bool #

Generic TypeSummary Source #

Instance details

Defined in Unison.Server.Types

Associated Types

type Rep TypeSummary

Instance details

Defined in Unison.Server.Types

type Rep TypeSummary = D1 ('MetaData "TypeSummary" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "TypeSummary" 'PrefixI 'True) ((S1 ('MetaSel ('Just "displayName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashQualified Name)) :*: S1 ('MetaSel ('Just "hash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortHash)) :*: (S1 ('MetaSel ('Just "summary") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DisplayObject SyntaxText SyntaxText)) :*: S1 ('MetaSel ('Just "tag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeTag))))

Methods

from :: TypeSummary -> Rep TypeSummary x #

to :: Rep TypeSummary x -> TypeSummary #

Show TypeSummary Source #

Instance details

Defined in Unison.Server.Types

Methods

showsPrec :: Int -> TypeSummary -> ShowS #

show :: TypeSummary -> String #

showList :: [TypeSummary] -> ShowS #

Eq TypeSummary Source #

Instance details

Defined in Unison.Server.Types

Methods

(==) :: TypeSummary -> TypeSummary -> Bool #

(/=) :: TypeSummary -> TypeSummary -> Bool #

Ord TypeSummary Source #

Instance details

Defined in Unison.Server.Types

Methods

compare :: TypeSummary -> TypeSummary -> Ordering #

(<) :: TypeSummary -> TypeSummary -> Bool #

(<=) :: TypeSummary -> TypeSummary -> Bool #

(>) :: TypeSummary -> TypeSummary -> Bool #

(>=) :: TypeSummary -> TypeSummary -> Bool #

max :: TypeSummary -> TypeSummary -> TypeSummary #

min :: TypeSummary -> TypeSummary -> TypeSummary #

ToSchema TypeSummary Source #

Instance details

Defined in Unison.Server.Types

Methods

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

ToSample TypeSummary Source #

Instance details

Defined in Unison.Server.Types

Methods

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

type Rep TypeSummary Source #

Instance details

Defined in Unison.Server.Types

type Rep TypeSummary = D1 ('MetaData "TypeSummary" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "TypeSummary" 'PrefixI 'True) ((S1 ('MetaSel ('Just "displayName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashQualified Name)) :*: S1 ('MetaSel ('Just "hash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortHash)) :*: (S1 ('MetaSel ('Just "summary") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DisplayObject SyntaxText SyntaxText)) :*: S1 ('MetaSel ('Just "tag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeTag))))

data TermOrTypeSummary Source #

Constructors

ToTTermSummary TermSummary
ToTTypeSummary TypeSummary

Instances

Instances details

FromJSON TermOrTypeSummary Source #

Instance details

Defined in Unison.Server.Types

Methods

parseJSON :: Value -> Parser TermOrTypeSummary #

parseJSONList :: Value -> Parser [TermOrTypeSummary] #

omittedField :: Maybe TermOrTypeSummary #

ToJSON TermOrTypeSummary Source #

Instance details

Defined in Unison.Server.Types

Methods

toJSON :: TermOrTypeSummary -> Value #

toEncoding :: TermOrTypeSummary -> Encoding #

toJSONList :: [TermOrTypeSummary] -> Value #

toEncodingList :: [TermOrTypeSummary] -> Encoding #

omitField :: TermOrTypeSummary -> Bool #

Generic TermOrTypeSummary Source #

Instance details

Defined in Unison.Server.Types

Associated Types

type Rep TermOrTypeSummary

Instance details

Defined in Unison.Server.Types

type Rep TermOrTypeSummary = D1 ('MetaData "TermOrTypeSummary" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "ToTTermSummary" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermSummary)) :+: C1 ('MetaCons "ToTTypeSummary" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeSummary)))

Methods

from :: TermOrTypeSummary -> Rep TermOrTypeSummary x #

to :: Rep TermOrTypeSummary x -> TermOrTypeSummary #

Show TermOrTypeSummary Source #

Instance details

Defined in Unison.Server.Types

Methods

showsPrec :: Int -> TermOrTypeSummary -> ShowS #

show :: TermOrTypeSummary -> String #

showList :: [TermOrTypeSummary] -> ShowS #

Eq TermOrTypeSummary Source #

Instance details

Defined in Unison.Server.Types

Methods

(==) :: TermOrTypeSummary -> TermOrTypeSummary -> Bool #

(/=) :: TermOrTypeSummary -> TermOrTypeSummary -> Bool #

Ord TermOrTypeSummary Source #

Instance details

Defined in Unison.Server.Types

Methods

compare :: TermOrTypeSummary -> TermOrTypeSummary -> Ordering #

(<) :: TermOrTypeSummary -> TermOrTypeSummary -> Bool #

(<=) :: TermOrTypeSummary -> TermOrTypeSummary -> Bool #

(>) :: TermOrTypeSummary -> TermOrTypeSummary -> Bool #

(>=) :: TermOrTypeSummary -> TermOrTypeSummary -> Bool #

max :: TermOrTypeSummary -> TermOrTypeSummary -> TermOrTypeSummary #

min :: TermOrTypeSummary -> TermOrTypeSummary -> TermOrTypeSummary #

ToSchema TermOrTypeSummary Source #

Instance details

Defined in Unison.Server.Types

Methods

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

type Rep TermOrTypeSummary Source #

Instance details

Defined in Unison.Server.Types

type Rep TermOrTypeSummary = D1 ('MetaData "TermOrTypeSummary" "Unison.Server.Types" "unison-share-api-0.0.0-9fFxz1kl0ay2hTWczK4vVA" 'False) (C1 ('MetaCons "ToTTermSummary" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TermSummary)) :+: C1 ('MetaCons "ToTTypeSummary" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeSummary)))

data TermOrTypeTag Source #

Constructors

ToTTermTag TermTag
ToTTypeTag TypeTag

Instances

Instances details

FromJSON TermOrTypeTag Source #
Instance details Defined in Unison.Server.Types Methods parseJSON :: Value -> Parser TermOrTypeTag # parseJSONList :: Value -> Parser [TermOrTypeTag] # omittedField :: Maybe TermOrTypeTag #
ToJSON TermOrTypeTag Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: TermOrTypeTag -> Value # toEncoding :: TermOrTypeTag -> Encoding # toJSONList :: [TermOrTypeTag] -> Value # toEncodingList :: [TermOrTypeTag] -> Encoding # omitField :: TermOrTypeTag -> Bool #
Show TermOrTypeTag Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> TermOrTypeTag -> ShowS # show :: TermOrTypeTag -> String # showList :: [TermOrTypeTag] -> ShowS #
Eq TermOrTypeTag Source #
Instance details Defined in Unison.Server.Types Methods (==) :: TermOrTypeTag -> TermOrTypeTag -> Bool # (/=) :: TermOrTypeTag -> TermOrTypeTag -> Bool #
Ord TermOrTypeTag Source #
Instance details Defined in Unison.Server.Types Methods compare :: TermOrTypeTag -> TermOrTypeTag -> Ordering # (<) :: TermOrTypeTag -> TermOrTypeTag -> Bool # (<=) :: TermOrTypeTag -> TermOrTypeTag -> Bool # (>) :: TermOrTypeTag -> TermOrTypeTag -> Bool # (>=) :: TermOrTypeTag -> TermOrTypeTag -> Bool # max :: TermOrTypeTag -> TermOrTypeTag -> TermOrTypeTag # min :: TermOrTypeTag -> TermOrTypeTag -> TermOrTypeTag #
FromHttpApiData TermOrTypeTag Source #
Instance details Defined in Unison.Server.Types Methods parseUrlPiece :: Text -> Either Text TermOrTypeTag # parseHeader :: ByteString -> Either Text TermOrTypeTag # parseQueryParam :: Text -> Either Text TermOrTypeTag #
ToHttpApiData TermOrTypeTag Source #
Instance details Defined in Unison.Server.Types Methods toUrlPiece :: TermOrTypeTag -> Text # toEncodedUrlPiece :: TermOrTypeTag -> Builder # toHeader :: TermOrTypeTag -> ByteString # toQueryParam :: TermOrTypeTag -> Text # toEncodedQueryParam :: TermOrTypeTag -> Builder #

newtype BranchRef Source #

Constructors

BranchRef
Fields unBranchRef :: Text

Instances

Instances details

FromJSON BranchRef Source #
Instance details Defined in Unison.Server.Types Methods parseJSON :: Value -> Parser BranchRef # parseJSONList :: Value -> Parser [BranchRef] # omittedField :: Maybe BranchRef #
ToJSON BranchRef Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: BranchRef -> Value # toEncoding :: BranchRef -> Encoding # toJSONList :: [BranchRef] -> Value # toEncodingList :: [BranchRef] -> Encoding # omitField :: BranchRef -> Bool #
Show BranchRef Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> BranchRef -> ShowS # show :: BranchRef -> String # showList :: [BranchRef] -> ShowS #
Eq BranchRef Source #
Instance details Defined in Unison.Server.Types Methods (==) :: BranchRef -> BranchRef -> Bool # (/=) :: BranchRef -> BranchRef -> Bool #
Ord BranchRef Source #
Instance details Defined in Unison.Server.Types Methods compare :: BranchRef -> BranchRef -> Ordering # (<) :: BranchRef -> BranchRef -> Bool # (<=) :: BranchRef -> BranchRef -> Bool # (>) :: BranchRef -> BranchRef -> Bool # (>=) :: BranchRef -> BranchRef -> Bool # max :: BranchRef -> BranchRef -> BranchRef # min :: BranchRef -> BranchRef -> BranchRef #
FromHttpApiData BranchRef Source #
Instance details Defined in Unison.Server.Types Methods parseUrlPiece :: Text -> Either Text BranchRef # parseHeader :: ByteString -> Either Text BranchRef # parseQueryParam :: Text -> Either Text BranchRef #
ToHttpApiData BranchRef Source #
Instance details Defined in Unison.Server.Types Methods toUrlPiece :: BranchRef -> Text # toEncodedUrlPiece :: BranchRef -> Builder # toHeader :: BranchRef -> ByteString # toQueryParam :: BranchRef -> Text # toEncodedQueryParam :: BranchRef -> Builder #
Serialise BranchRef Source #
Instance details Defined in Unison.Server.Types Methods encode :: BranchRef -> Encoding # decode :: Decoder s BranchRef # encodeList :: [BranchRef] -> Encoding # decodeList :: Decoder s [BranchRef] #
From (ProjectAndBranch ProjectName ProjectBranchName) BranchRef Source #
Instance details Defined in Unison.Server.Types Methods from :: ProjectAndBranch ProjectName ProjectBranchName -> BranchRef #