Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Server.Types

Synopsis

type APIHeaders x = Headers '[Header "Cache-Control" String] x
type APIGet c = Get '[JSON] (APIHeaders c)
type HashQualifiedName = Text
type NamespaceFQN = Text
type Size = Int
type UnisonName = Text
type UnisonHash = Text
data NamespaceDetails = NamespaceDetails {
- fqn :: Path
- hash :: UnisonHash
- readme :: Maybe Doc
}
data ExactName name ref = ExactName {
- name :: name
- ref :: ref
}
exactToHQ :: ExactName name ShortHash -> HashQualified name
exactToHQ' :: ExactName name ShortHash -> HashQualified name
data TermDefinitionDiff = TermDefinitionDiff {
- left :: TermDefinition
- right :: TermDefinition
- diff :: DisplayObjectDiff
}
data TypeDefinitionDiff = TypeDefinitionDiff {
- left :: TypeDefinition
- right :: TypeDefinition
- diff :: DisplayObjectDiff
}
newtype Suffixify = Suffixify {
- suffixified :: Bool
}
data TermDefinition = TermDefinition {
- termNames :: [HashQualifiedName]
- bestTermName :: HashQualifiedName
- defnTermTag :: TermTag
- termDefinition :: DisplayObject SyntaxText SyntaxText
- signature :: SyntaxText
- termDocs :: [(HashQualifiedName, UnisonHash, Doc)]
}
data TypeDefinition = TypeDefinition {
- typeNames :: [HashQualifiedName]
- bestTypeName :: HashQualifiedName
- defnTypeTag :: TypeTag
- typeDefinition :: DisplayObject SyntaxText SyntaxText
- typeDocs :: [(HashQualifiedName, UnisonHash, Doc)]
}
data DefinitionDisplayResults = DefinitionDisplayResults {
- termDefinitions :: Map UnisonHash TermDefinition
- typeDefinitions :: Map UnisonHash TypeDefinition
- missingDefinitions :: [HashQualifiedName]
}
data TermTag
- = Doc
- | Test
- | Plain
- | Constructor TypeTag
data TypeTag
- = Ability
- | Data
data SemanticSyntaxDiff
- = Old [SyntaxSegment]
- | New [SyntaxSegment]
- | Both [SyntaxSegment]
- | SegmentChange (String, String) (Maybe Element)
- | AnnotationChange String (Maybe Element, Maybe Element)
data DisplayObjectDiff
- = DisplayObjectDiff (DisplayObject [SemanticSyntaxDiff] [SemanticSyntaxDiff])
- | MismatchedDisplayObjects (DisplayObject SyntaxText SyntaxText) (DisplayObject SyntaxText SyntaxText)
data UnisonRef
- = TypeRef UnisonHash
- | TermRef UnisonHash
unisonRefToText :: UnisonRef -> Text
data NamedTerm = NamedTerm {
- termName :: HashQualified Name
- termHash :: ShortHash
- termType :: Maybe SyntaxText
- termTag :: TermTag
}
data NamedType = NamedType {
- typeName :: HashQualified Name
- typeHash :: ShortHash
- typeTag :: TypeTag
}
munge :: Text -> ByteString
mungeShow :: Show s => s -> ByteString
mungeString :: String -> ByteString
defaultWidth :: Width
discard :: Applicative m => a -> m ()
mayDefaultWidth :: Maybe Width -> Width
setCacheControl :: v -> APIHeaders v
branchToUnisonHash :: Branch m -> UnisonHash
v2CausalBranchToUnisonHash :: CausalBranch m -> UnisonHash
newtype ProjectBranchNameParam = ProjectBranchNameParam {
- unProjectBranchNameParam :: ProjectAndBranch ProjectName ProjectBranchName
}
data TermDiffResponse = TermDiffResponse {
- project :: ProjectName
- oldBranch :: ProjectBranchName
- newBranch :: ProjectBranchName
- oldTerm :: TermDefinition
- newTerm :: TermDefinition
- diff :: DisplayObjectDiff
}
data TypeDiffResponse = TypeDiffResponse {
- project :: ProjectName
- oldBranch :: ProjectBranchName
- newBranch :: ProjectBranchName
- oldType :: TypeDefinition
- newType :: TypeDefinition
- diff :: DisplayObjectDiff
}
type RequiredQueryParam = QueryParam' '[Required, Strict]

Documentation

type APIHeaders x = Headers '[Header "Cache-Control" String] x Source #

type APIGet c = Get '[JSON] (APIHeaders c) Source #

type HashQualifiedName = Text Source #

type NamespaceFQN = Text Source #

type Size = Int Source #

type UnisonName = Text Source #

type UnisonHash = Text Source #

data NamespaceDetails Source #

Constructors

NamespaceDetails
Fields fqn :: Path hash :: UnisonHash readme :: Maybe Doc

Instances

Instances details

ToJSON NamespaceDetails Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: NamespaceDetails -> Value # toEncoding :: NamespaceDetails -> Encoding # toJSONList :: [NamespaceDetails] -> Value # toEncodingList :: [NamespaceDetails] -> Encoding #
Generic NamespaceDetails Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep NamespaceDetails :: Type -> Type # Methods from :: NamespaceDetails -> Rep NamespaceDetails x # to :: Rep NamespaceDetails x -> NamespaceDetails #
Show NamespaceDetails Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> NamespaceDetails -> ShowS # show :: NamespaceDetails -> String # showList :: [NamespaceDetails] -> ShowS #
ToSchema NamespaceDetails Source #
Instance details Defined in Unison.Server.Types Methods declareNamedSchema :: Proxy NamespaceDetails -> Declare (Definitions Schema) NamedSchema #
ToSample NamespaceDetails Source #
Instance details Defined in Unison.Server.Types Methods toSamples :: Proxy NamespaceDetails -> [(Text, NamespaceDetails)] #
type Rep NamespaceDetails Source #
Instance details Defined in Unison.Server.Types type Rep NamespaceDetails = D1 ('MetaData "NamespaceDetails" "Unison.Server.Types" "unison-share-api-0.0.0-C8EhduMcnIVLJzlEB6yMhH" 'False) (C1 ('MetaCons "NamespaceDetails" 'PrefixI 'True) (S1 ('MetaSel ('Just "fqn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Path) :: (S1 ('MetaSel ('Just "hash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnisonHash) :: S1 ('MetaSel ('Just "readme") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Doc)))))

data ExactName name ref Source #

A hash qualified name, unlike HashQualified, the hash is required

Constructors

ExactName
Fields name :: name ref :: ref

Instances

Instances details

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 :: Type -> Type # 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-C8EhduMcnIVLJzlEB6yMhH" '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 :: Type -> Type # 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-C8EhduMcnIVLJzlEB6yMhH" '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 :: Type -> Type # 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.GetDefinitions 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-C8EhduMcnIVLJzlEB6yMhH" '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

ToJSON TermDefinition Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: TermDefinition -> Value # toEncoding :: TermDefinition -> Encoding # toJSONList :: [TermDefinition] -> Value # toEncodingList :: [TermDefinition] -> Encoding #
Generic TermDefinition Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep TermDefinition :: Type -> Type # 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-C8EhduMcnIVLJzlEB6yMhH" '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

ToJSON TypeDefinition Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: TypeDefinition -> Value # toEncoding :: TypeDefinition -> Encoding # toJSONList :: [TypeDefinition] -> Value # toEncodingList :: [TypeDefinition] -> Encoding #
Generic TypeDefinition Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep TypeDefinition :: Type -> Type # 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-C8EhduMcnIVLJzlEB6yMhH" '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

ToJSON DefinitionDisplayResults Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: DefinitionDisplayResults -> Value # toEncoding :: DefinitionDisplayResults -> Encoding # toJSONList :: [DefinitionDisplayResults] -> Value # toEncodingList :: [DefinitionDisplayResults] -> Encoding #
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 :: Type -> Type # 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 Methods compare :: DefinitionDisplayResults -> DefinitionDisplayResults -> Ordering # (<) :: DefinitionDisplayResults -> DefinitionDisplayResults -> Bool # (<=) :: DefinitionDisplayResults -> DefinitionDisplayResults -> Bool # (>) :: DefinitionDisplayResults -> DefinitionDisplayResults -> Bool # (>=) :: DefinitionDisplayResults -> DefinitionDisplayResults -> Bool # max :: DefinitionDisplayResults -> DefinitionDisplayResults -> DefinitionDisplayResults # min :: DefinitionDisplayResults -> DefinitionDisplayResults -> DefinitionDisplayResults #
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.GetDefinitions 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-C8EhduMcnIVLJzlEB6yMhH" '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] #
ToJSON TermTag Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: TermTag -> Value # toEncoding :: TermTag -> Encoding # toJSONList :: [TermTag] -> Value # toEncodingList :: [TermTag] -> Encoding #
Generic TermTag Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep TermTag :: Type -> Type # 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-C8EhduMcnIVLJzlEB6yMhH" '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] #
ToJSON TypeTag Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: TypeTag -> Value # toEncoding :: TypeTag -> Encoding # toJSONList :: [TypeTag] -> Value # toEncodingList :: [TypeTag] -> Encoding #
Generic TypeTag Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep TypeTag :: 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-C8EhduMcnIVLJzlEB6yMhH" 'False) (C1 ('MetaCons "Ability" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Data" 'PrefixI 'False) (U1 :: Type -> Type))

data SemanticSyntaxDiff 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

Old [SyntaxSegment]
New [SyntaxSegment]
Both [SyntaxSegment]
SegmentChange (String, String) (Maybe Element)
AnnotationChange String (Maybe Element, Maybe Element)

Instances

Instances details

ToJSON SemanticSyntaxDiff Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: SemanticSyntaxDiff -> Value # toEncoding :: SemanticSyntaxDiff -> Encoding # toJSONList :: [SemanticSyntaxDiff] -> Value # toEncodingList :: [SemanticSyntaxDiff] -> Encoding #
Generic SemanticSyntaxDiff Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep SemanticSyntaxDiff :: Type -> Type # Methods from :: SemanticSyntaxDiff -> Rep SemanticSyntaxDiff x # to :: Rep SemanticSyntaxDiff x -> SemanticSyntaxDiff #
Show SemanticSyntaxDiff Source #
Instance details Defined in Unison.Server.Types Methods showsPrec :: Int -> SemanticSyntaxDiff -> ShowS # show :: SemanticSyntaxDiff -> String # showList :: [SemanticSyntaxDiff] -> ShowS #
Eq SemanticSyntaxDiff Source #
Instance details Defined in Unison.Server.Types Methods (==) :: SemanticSyntaxDiff -> SemanticSyntaxDiff -> Bool # (/=) :: SemanticSyntaxDiff -> SemanticSyntaxDiff -> Bool #
Ord SemanticSyntaxDiff Source #
Instance details Defined in Unison.Server.Types Methods compare :: SemanticSyntaxDiff -> SemanticSyntaxDiff -> Ordering # (<) :: SemanticSyntaxDiff -> SemanticSyntaxDiff -> Bool # (<=) :: SemanticSyntaxDiff -> SemanticSyntaxDiff -> Bool # (>) :: SemanticSyntaxDiff -> SemanticSyntaxDiff -> Bool # (>=) :: SemanticSyntaxDiff -> SemanticSyntaxDiff -> Bool # max :: SemanticSyntaxDiff -> SemanticSyntaxDiff -> SemanticSyntaxDiff # min :: SemanticSyntaxDiff -> SemanticSyntaxDiff -> SemanticSyntaxDiff #
ToSchema SemanticSyntaxDiff Source #
Instance details Defined in Unison.Server.Types Methods declareNamedSchema :: Proxy SemanticSyntaxDiff -> Declare (Definitions Schema) NamedSchema #
type Rep SemanticSyntaxDiff Source #
Instance details Defined in Unison.Server.Types type Rep SemanticSyntaxDiff = D1 ('MetaData "SemanticSyntaxDiff" "Unison.Server.Types" "unison-share-api-0.0.0-C8EhduMcnIVLJzlEB6yMhH" 'False) ((C1 ('MetaCons "Old" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SyntaxSegment])) :+: C1 ('MetaCons "New" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SyntaxSegment]))) :+: (C1 ('MetaCons "Both" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SyntaxSegment])) :+: (C1 ('MetaCons "SegmentChange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (String, String)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Element))) :+: C1 ('MetaCons "AnnotationChange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Element, Maybe Element))))))

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 [SemanticSyntaxDiff] [SemanticSyntaxDiff])
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 :: Type -> Type # 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-C8EhduMcnIVLJzlEB6yMhH" 'False) (C1 ('MetaCons "DisplayObjectDiff" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DisplayObject [SemanticSyntaxDiff] [SemanticSyntaxDiff]))) :+: 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 :: Type -> Type # 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-C8EhduMcnIVLJzlEB6yMhH" '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] #
ToJSON NamedTerm Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: NamedTerm -> Value # toEncoding :: NamedTerm -> Encoding # toJSONList :: [NamedTerm] -> Value # toEncodingList :: [NamedTerm] -> Encoding #
Generic NamedTerm Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep NamedTerm :: Type -> Type # 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-C8EhduMcnIVLJzlEB6yMhH" '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] #
ToJSON NamedType Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: NamedType -> Value # toEncoding :: NamedType -> Encoding # toJSONList :: [NamedType] -> Value # toEncodingList :: [NamedType] -> Encoding #
Generic NamedType Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep NamedType :: Type -> Type # 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-C8EhduMcnIVLJzlEB6yMhH" '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 :: Branch m -> UnisonHash Source #

v2CausalBranchToUnisonHash :: 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 :: Type -> Type # 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-C8EhduMcnIVLJzlEB6yMhH" '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

ToJSON TermDiffResponse Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: TermDiffResponse -> Value # toEncoding :: TermDiffResponse -> Encoding # toJSONList :: [TermDiffResponse] -> Value # toEncodingList :: [TermDiffResponse] -> Encoding #
Generic TermDiffResponse Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep TermDiffResponse :: Type -> Type # 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-C8EhduMcnIVLJzlEB6yMhH" '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

ToJSON TypeDiffResponse Source #
Instance details Defined in Unison.Server.Types Methods toJSON :: TypeDiffResponse -> Value # toEncoding :: TypeDiffResponse -> Encoding # toJSONList :: [TypeDiffResponse] -> Value # toEncodingList :: [TypeDiffResponse] -> Encoding #
Generic TypeDiffResponse Source #
Instance details Defined in Unison.Server.Types Associated Types type Rep TypeDiffResponse :: Type -> Type # 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-C8EhduMcnIVLJzlEB6yMhH" '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.