@viamedici-spc/configurator-ts/dist/index.cjs

TypeScript library to build configurator web applications based on the Viamedici Headless Configuration Engine (HCE).

"use strict";Object.defineProperty(exports,Symbol.toStringTag,{value:"Module"});const e=require("@viamedici-spc/fp-ts-extensions"),u=require("ts-pattern"),g=require("xstate"),We=require("spark-md5"),je=require("fast-equals"),k=require("memize"),wt=require("dyna-guid"),Ht=require("@morphic-ts/batteries/lib/summoner-ESBAST");var p=(t=>(t.RequestTimeout="RequestTimeout",t.RequestFailure="RequestFailure",t.SerializationError="SerializationError",t.MissingTenantIdClaim="MissingTenantIdClaim",t.MissingSessionIdClaim="MissingSessionIdClaim",t.TenantAccessForbidden="TenantAccessForbidden",t.SessionIdInvalid="SessionIdInvalid",t.AuthenticationFailure="AuthenticationFailure",t.SideLoadingForbidden="SideLoadingForbidden",t.UsageRuleRestriction="UsageRuleRestriction",t.ConfigurationModelInvalid="ConfigurationModelInvalid",t.SolutionNotFeasible="SolutionNotFeasible",t.ConfigurationModelNotFound="ConfigurationModelNotFound",t.SolverInitializationFailure="SolverInitializationFailure",t.ConfigurationModelLoadFailure="ConfigurationModelLoadFailure",t.ConfigurationInitializationFailure="ConfigurationInitializationFailure",t.SolverPoolInitializationFailure="SolverPoolInitializationFailure",t.SetDecisionConflict="SetDecisionConflict",t.SolveOperationTimeout="SolveOperationTimeout",t.ExplainConflict="ExplainConflict",t.ExplainFailure="ExplainFailure",t.SnapshotInvalid="SnapshotInvalid",t.SnapshotNotFound="SnapshotNotFound",t.ConfigurationModelNotFeasible="ConfigurationModelNotFeasible",t.MakeManyDecisionsConflict="MakeManyDecisionsConflict",t.SpecifiedDeploymentForbidden="SpecifiedDeploymentForbidden",t.AttributeNotFound="AttributeNotFound",t.ChoiceAttributeNotFound="ChoiceAttributeNotFound",t.ComponentAttributeNotFound="ComponentAttributeNotFound",t.NumericAttributeNotFound="NumericAttributeNotFound",t.BooleanAttributeNotFound="BooleanAttributeNotFound",t.ChoiceValueNotFound="ChoiceValueNotFound",t.NumericDecisionOutOfRange="NumericDecisionOutOfRange",t.ConflictWithConsequence="ConflictWithConsequence",t.DecisionsToRespectInvalid="DecisionsToRespectInvalid",t.SessionNotFound="SessionNotFound",t.ServerError="ServerError",t.ConnectionError="ConnectionError",t.TaskCancelled="TaskCancelled",t.SessionClosed="SessionClosed",t.StoredConfigurationInvalid="StoredConfigurationInvalid",t))(p||{}),q=(t=>(t.whyIsNotSatisfied="why-is-not-satisfied",t.whyIsStateNotPossible="why-is-state-not-possible",t))(q||{}),S=(t=>(t.choiceValue="choice-value",t.component="component",t.boolean="boolean",t.numeric="numeric",t.configuration="configuration",t.attribute="attribute",t))(S||{}),B=(t=>(t.all="all",t.none="none",t.specific="specific",t))(B||{}),L=(t=>(t.Channel="Channel",t.Package="Package",t))(L||{}),a=(t=>(t.Boolean="Boolean",t.Numeric="Numeric",t.Choice="Choice",t.Component="Component",t))(a||{}),I=(t=>(t.Included="Included",t.Excluded="Excluded",t))(I||{}),R=(t=>(t.Included="Included",t.Excluded="Excluded",t))(R||{}),E=(t=>(t.Implicit="Implicit",t.Explicit="Explicit",t))(E||{}),V=(t=>(t.Mandatory="Mandatory",t.Optional="Optional",t))(V||{}),_=(t=>(t.Always="Always",t.Optional="Optional",t))(_||{});const Ue=Object.freeze(Object.defineProperty({__proto__:null},Symbol.toStringTag,{value:"Module"})),It=t=>t.type===a.Boolean,Ct=t=>t.type===a.Choice,At=t=>t.type===a.Numeric,qt=t=>t.type===a.Component,Le=Object.freeze(Object.defineProperty({__proto__:null,booleanAttributeRefinement:It,choiceAttributeRefinement:Ct,componentAttributeRefinement:qt,numericAttributeRefinement:At},Symbol.toStringTag,{value:"Module"}));function Rt(t){return t}function _e(t){return function(){return t}}function He(t,i,n,o,s,r,c,l,d){switch(arguments.length){case 1:return t;case 2:return function(){return i(t.apply(this,arguments))};case 3:return function(){return n(i(t.apply(this,arguments)))};case 4:return function(){return o(n(i(t.apply(this,arguments))))};case 5:return function(){return s(o(n(i(t.apply(this,arguments)))))};case 6:return function(){return r(s(o(n(i(t.apply(this,arguments))))))};case 7:return function(){return c(r(s(o(n(i(t.apply(this,arguments)))))))};case 8:return function(){return l(c(r(s(o(n(i(t.apply(this,arguments))))))))};case 9:return function(){return d(l(c(r(s(o(n(i(t.apply(this,arguments)))))))))}}}var ze={_tag:"None"},$e=Object.prototype.hasOwnProperty,Ge=function(){return function(t){return!0}};function T(t){const n=[...t.sharedConfigurationModelId?["shared",t.sharedConfigurationModelId]:["root"],...t.componentPath??[],t.localId];return e.pipe(n,e.RA.map(o=>o.replace("::","|::|")),o=>o.join("::"))}function Qe(t,i,n){return e.pipe(t,e.RM.toReadonlyArray(e.Ord.trivial),e.RA.map(([o,s])=>s),e.RA.filter(o=>{if(o.id.sharedConfigurationModelId!=i.sharedConfigurationModelId)return!1;const s=[...i.componentPath??[],i.localId],r=e.pipe(o.id.componentPath??[],n?e.RA.takeLeft(s.length):e.identity);return e.RA.getEq(e.Str.Eq).equals(s,r)}))}function Ke(t,i,n){return e.pipe(t,e.RM.toReadonlyArray(e.Ord.trivial),e.RA.map(([o,s])=>s),e.RA.filter(o=>o.id.sharedConfigurationModelId==i&&(n||e.RA.isEmpty(o.id.componentPath??[]))))}function Je(t){return e.pipe(t,e.RM.toReadonlyArray(e.Ord.trivial),e.RA.map(([i,n])=>n),e.RA.filter(i=>i.id.sharedConfigurationModelId==null&&e.RA.isEmpty(i.id.componentPath??[])))}function ot(t){return i=>e.pipe(i.attributes,e.RM.filter(t),e.RM.toReadonlyArray(e.Ord.trivial),e.RA.map(([n,o])=>o))}function Xe(t){return ot(Ct)(t)}function Ye(t){return ot(qt)(t)}function Ze(t){return ot(At)(t)}function ti(t){return ot(It)(t)}function $(t,i,n){const o=typeof i=="string"?i:T(i),s=t.attributes.get(o);return s&&(n??Ge)(s)?s:void 0}function zt(t,i){return $(t,i,Ct)}function ei(t,i,n){const o=zt(t,i);return((o==null?void 0:o.values)??e.RM.empty).get(n)}function ii(t,i){return $(t,i,At)}function ni(t,i){return $(t,i,It)}function oi(t,i){return $(t,i,qt)}const si=Object.freeze(Object.defineProperty({__proto__:null,getAttribute:$,getAttributesOfComponentAttribute:Qe,getAttributesOfRootConfigurationModel:Je,getAttributesOfSharedConfigurationModel:Ke,getBooleanAttribute:ni,getBooleanAttributes:ti,getChoiceAttribute:zt,getChoiceAttributes:Xe,getChoiceValue:ei,getComponentAttribute:oi,getComponentAttributes:Ye,getNumericAttribute:ii,getNumericAttributes:Ze},Symbol.toStringTag,{value:"Module"}));function Dt(t){return t.possibleDecisionStates.includes(I.Included)}function $t(t){return!Dt(t)}const ri=Object.freeze(Object.defineProperty({__proto__:null,isAllowed:Dt,isBlocked:$t},Symbol.toStringTag,{value:"Module"}));function ai(t){return u.match(t).with({type:a.Choice},i=>i.cardinality.lowerBound>0).with({type:a.Boolean},i=>i.selection===V.Mandatory).with({type:a.Numeric},i=>i.selection===V.Mandatory).with({type:a.Component},i=>i.inclusion===_.Optional&&i.selection===V.Mandatory).exhaustive()}function ci(t){return t.cardinality.upperBound>1}function ui(t){return e.pipe(t.values,e.RM.toReadonlyArray(e.Ord.trivial),e.RA.map(([i,n])=>n),e.RA.filter(Dt))}function li(t){return e.pipe(t.values,e.RM.toReadonlyArray(e.Ord.trivial),e.RA.map(([i,n])=>n),e.RA.filter($t))}function di(t){return e.pipe(t.values,e.RM.filter(i=>{var n;return((n=i.decision)==null?void 0:n.state)===I.Included}),e.RM.toReadonlyArray(e.Ord.trivial),e.RA.map(([i,n])=>n))}const pi=Object.freeze(Object.defineProperty({__proto__:null,getAllowedChoiceValues:ui,getBlockedChoiceValues:li,getIncludedChoiceValues:di,isChoiceAttributeMultiSelect:ci,isMandatory:ai},Symbol.toStringTag,{value:"Module"})),vt={whyIsNotSatisfied:{configuration:{question:q.whyIsNotSatisfied,subject:S.configuration},attribute:t=>({question:q.whyIsNotSatisfied,subject:S.attribute,attributeId:t})},whyIsStateNotPossible:{choice:t=>({choiceValue:i=>({state:n=>({question:q.whyIsStateNotPossible,subject:S.choiceValue,attributeId:t,choiceValueId:i,state:n})})}),boolean:t=>({state:i=>({question:q.whyIsStateNotPossible,subject:S.boolean,attributeId:t,state:i})}),numeric:t=>({state:i=>({question:q.whyIsStateNotPossible,subject:S.numeric,attributeId:t,state:i})}),component:t=>({state:i=>({question:q.whyIsStateNotPossible,subject:S.component,attributeId:t,state:i})})}},hi=Object.freeze(Object.defineProperty({__proto__:null,explainQuestionBuilder:vt},Symbol.toStringTag,{value:"Module"})),mi=t=>t.attributeType===a.Boolean,fi=t=>t.attributeType===a.Numeric,yi=t=>t.attributeType===a.Component,gi=t=>t.attributeType===a.Choice,Gt=t=>t.kind===E.Explicit,Qt=t=>t.kind===E.Implicit,bi=Object.freeze(Object.defineProperty({__proto__:null,collectedBooleanDecisionRefinement:mi,collectedChoiceDecisionRefinement:gi,collectedComponentDecisionRefinement:yi,collectedExplicitDecisionRefinement:Gt,collectedImplicitDecisionRefinement:Qt,collectedNumericDecisionRefinement:fi},Symbol.toStringTag,{value:"Module"}));var P=(t=>(t.Included="Included",t.Excluded="Excluded",t))(P||{}),gt=(t=>(t.Mandatory="Mandatory",t.Optional="Optional",t))(gt||{}),bt=(t=>(t.Always="Always",t.Optional="Optional",t))(bt||{}),St=(t=>(t.Implicit="Implicit",t.Explicit="Explicit",t))(St||{}),C=(t=>(t.Included="Included",t.Excluded="Excluded",t.Undefined="Undefined",t))(C||{});class Si{constructor(i={}){this.baseUrl="https://spc.cloud.ceventis.de/hca/api/engine",this.securityData=null,this.abortControllers=new Map,this.customFetch=(...n)=>fetch(...n),this.baseApiParams={credentials:"same-origin",headers:{},redirect:"follow",referrerPolicy:"no-referrer"},this.setSecurityData=n=>{this.securityData=n},this.contentFormatters={"application/json":n=>n!==null&&(typeof n=="object"||typeof n=="string")?JSON.stringify(n):n,"text/plain":n=>n!==null&&typeof n!="string"?JSON.stringify(n):n,"multipart/form-data":n=>Object.keys(n||{}).reduce((o,s)=>{const r=n[s];return o.append(s,r instanceof Blob?r:typeof r=="object"&&r!==null?JSON.stringify(r):`${r}`),o},new FormData),"application/x-www-form-urlencoded":n=>this.toQueryString(n)},this.createAbortSignal=n=>{if(this.abortControllers.has(n)){const s=this.abortControllers.get(n);return s?s.signal:void 0}const o=new AbortController;return this.abortControllers.set(n,o),o.signal},this.abortRequest=n=>{const o=this.abortControllers.get(n);o&&(o.abort(),this.abortControllers.delete(n))},this.request=async({body:n,secure:o,path:s,type:r,query:c,format:l,baseUrl:d,cancelToken:h,...w})=>{const A=(typeof o=="boolean"?o:this.baseApiParams.secure)&&this.securityWorker&&await this.securityWorker(this.securityData)||{},K=this.mergeRequestParams(w,A),Ft=c&&this.toQueryString(c),Ve=this.contentFormatters[r||"application/json"],Tt=l||K.format;return this.customFetch(`${d||this.baseUrl||""}${s}${Ft?`?${Ft}`:""}`,{...K,headers:{...K.headers||{},...r&&r!=="multipart/form-data"?{"Content-Type":r}:{}},signal:(h?this.createAbortSignal(h):K.signal)||null,body:typeof n>"u"||n===null?null:Ve(n)}).then(async pt=>{const M=pt;M.data=null,M.error=null;const Vt=Tt?await pt[Tt]().then(J=>(M.ok?M.data=J:M.error=J,M)).catch(J=>(M.error=J,M)):M;if(h&&this.abortControllers.delete(h),!pt.ok)throw Vt;return Vt})},Object.assign(this,i)}encodeQueryParam(i,n){return`${encodeURIComponent(i)}=${encodeURIComponent(typeof n=="number"?n:`${n}`)}`}addQueryParam(i,n){return this.encodeQueryParam(n,i[n])}addArrayQueryParam(i,n){return i[n].map(s=>this.encodeQueryParam(n,s)).join("&")}toQueryString(i){const n=i||{};return Object.keys(n).filter(s=>typeof n[s]<"u").map(s=>Array.isArray(n[s])?this.addArrayQueryParam(n,s):this.addQueryParam(n,s)).join("&")}addQueryParams(i){const n=this.toQueryString(i);return n?`?${n}`:""}mergeRequestParams(i,n){return{...this.baseApiParams,...i,...n||{},headers:{...this.baseApiParams.headers||{},...i.headers||{},...n&&n.headers||{}}}}}/**
 * @title Viamedici.Spc.Engine.ConfigurationEngine.RestApi.Service
 * @version v2
 * @license © 2024 Viamedici - All rights reserved (https://viamedici.de)
 * @termsOfService None
 * @baseUrl https://spc.cloud.ceventis.de/hca/api/engine
 * @contact Viamedici Software GmbH <info@viamedici.de> (https://viamedici.de)
 */class Kt extends Si{constructor(){super(...arguments),this.consequence={consequenceGet:(i={})=>this.request({path:"/v2/session/configuration/consequence",method:"GET",secure:!0,format:"json",...i})},this.decision={decisionPutDecision:(i,n={})=>this.request({path:"/v2/session/configuration/decision",method:"PUT",body:i,secure:!0,type:"application/json",format:"json",...n}),decisionGetAllDecisions:(i={})=>this.request({path:"/v2/session/configuration/decision",method:"GET",secure:!0,format:"json",...i}),decisionPutMany:(i,n={})=>this.request({path:"/v2/session/configuration/decision/many",method:"PUT",body:i,secure:!0,type:"application/json",format:"json",...n})},this.explain={explainWhyNotSatisfied:(i,n={})=>this.request({path:"/v2/session/configuration/consequence/explain/why-not-satisfied",method:"POST",body:i,secure:!0,type:"application/json",format:"json",...n}),explainWhyNotSatisfiedDecisions:(i,n={})=>this.request({path:"/v2/session/configuration/consequence/explain/why-not-satisfied/answer/decisions",method:"POST",body:i,secure:!0,type:"application/json",format:"json",...n}),explainWhyNotSatisfiedRules:(i,n={})=>this.request({path:"/v2/session/configuration/consequence/explain/why-not-satisfied/answer/constraints",method:"POST",body:i,secure:!0,type:"application/json",format:"json",...n}),explainWhyStateNotPossible:(i,n={})=>this.request({path:"/v2/session/configuration/consequence/explain/why-state-not-possible",method:"POST",body:i,secure:!0,type:"application/json",format:"json",...n}),explainWhyStateNotPossibleDecisions:(i,n={})=>this.request({path:"/v2/session/configuration/consequence/explain/why-state-not-possible/answer/decisions",method:"POST",body:i,secure:!0,type:"application/json",format:"json",...n}),explainWhyStateNotPossibleRules:(i,n={})=>this.request({path:"/v2/session/configuration/consequence/explain/why-state-not-possible/answer/constraints",method:"POST",body:i,secure:!0,type:"application/json",format:"json",...n})},this.meta={metaGetConfigurationModel:(i={})=>this.request({path:"/v2/session/configuration/meta/configuration-model",method:"GET",secure:!0,format:"json",...i}),metaGet:(i={})=>this.request({path:"/v2/session/configuration/meta",method:"GET",secure:!0,format:"json",...i})},this.session={sessionPost:(i,n={})=>this.request({path:"/v2/session",method:"POST",body:i,secure:!0,type:"application/json",format:"json",...n}),sessionDelete:(i,n={})=>this.request({path:`/v2/session/${i}`,method:"DELETE",secure:!0,...n}),sessionClose:(i,n={})=>this.request({path:"/v2/session/close",method:"POST",body:i,secure:!0,type:"application/json",...n})}}}const Ei="https://spc.cloud.ceventis.de/hca/api/engine",Wt=new Map,jt=new Map;function G(t){const i=t??Ei;let n=Wt.get(i);return n||(n=new Kt({baseUrl:i}),Wt.set(i,n)),n}function wi(t){const i=(...o)=>typeof o[0]=="string"?fetch(t,o[1]):fetch(...o);let n=jt.get(t);return n||(n=new Kt({customFetch:i}),jt.set(t,n)),n.session.sessionPost}function D(t){return{sharedConfigurationModelId:t.sharedConfigurationModelId,componentPath:t.componentPath!=null?e.RA.toArray(t.componentPath):void 0,localId:t.localId}}function Jt(t){return{type:"Choice",attributeId:D(t.attributeId),choiceValueId:t.choiceValueId,state:u.match(t.state).with(u.P.nullish,()=>C.Undefined).with(I.Included,()=>C.Included).with(I.Excluded,()=>C.Excluded).exhaustive()}}function Xt(t){return{type:"Component",attributeId:D(t.attributeId),state:u.match(t.state).with(u.P.nullish,()=>C.Undefined).with(R.Included,()=>C.Included).with(R.Excluded,()=>C.Excluded).exhaustive()}}function Yt(t){return{type:"Numeric",attributeId:D(t.attributeId),state:t.state}}function Zt(t){return{type:"Boolean",attributeId:D(t.attributeId),state:t.state}}function Ii(t){return u.match(t).with({type:a.Choice},Jt).with({type:a.Component},Xt).with({type:a.Boolean},Zt).with({type:a.Numeric},Yt).exhaustive()}function Ci(t){const i=u.match(t.configurationModelSource).returnType().with({type:L.Channel},r=>({type:"Channel",deploymentName:r.deploymentName,channel:r.channel})).with({type:L.Package},r=>({type:"Package",configurationModelPackage:r.configurationModelPackage})).exhaustive(),n=()=>{var c;const r=(c=t.allowedInExplain)!=null&&c.rules?u.match(t.allowedInExplain.rules).returnType().with({type:B.all},()=>({type:"AllowedRulesAll"})).with({type:B.none},()=>({type:"AllowedRulesNone"})).with({type:B.specific},l=>({type:"AllowedRulesSpecific",rules:e.pipe(l.rules,e.RA.map(d=>({configurationModelId:d.configurationModelId,localId:d.localId})),e.RA.toArray)})).exhaustive():void 0;if(r)return{rules:r}},o=t.attributeRelations?e.pipe(t.attributeRelations,e.RA.map(r=>({attributeId:D(r.attributeId),decisions:e.pipe(r.decisions,e.RA.map(D),e.RA.toArray)})),e.RA.toArray):void 0,s=t.usageRuleParameters?t.usageRuleParameters:void 0;return{configurationModelSource:i,allowedInExplain:n(),attributeRelations:o,usageRuleParameters:s}}function Ai(t,i){const n=(d,h)=>e.pipe(t,e.RA.filter(d),e.RA.map(h),e.RA.toArray),o=n(d=>d.type===a.Boolean,Zt),s=n(d=>d.type===a.Numeric,Yt),r=n(d=>d.type===a.Component,Xt),c=n(d=>d.type===a.Choice,Jt),l=u.match(i).with({type:"DropExistingDecisions"},d=>({type:"DropExistingDecisions",conflictResolution:u.match(d.conflictHandling).with({type:"Automatic"},()=>({type:"Automatic"})).with({type:"Manual"},h=>({type:"Manual",includeConstraintsInConflictExplanation:h.includeConstraintsInConflictExplanation})).exhaustive()})).with({type:"KeepExistingDecisions"},()=>({type:"KeepExistingDecisions"})).exhaustive();return{booleanDecisions:o,componentDecisions:r,numericDecisions:s,choiceDecisions:c,mode:l}}function qi(t){return u.match(t).returnType().with({subject:S.configuration},()=>({type:"Configuration"})).with({subject:S.attribute},i=>({type:"Attribute",attributeId:D(i.attributeId)})).exhaustive()}function Ri(t){return u.match(t).returnType().with({subject:S.boolean},i=>({type:"Boolean",attributeId:D(i.attributeId),state:i.state})).with({subject:S.numeric},i=>({type:"Numeric",attributeId:D(i.attributeId),state:i.state})).with({subject:S.component},i=>({type:"Component",attributeId:D(i.attributeId),state:u.match(i.state).with(R.Included,()=>P.Included).with(R.Excluded,()=>P.Excluded).exhaustive()})).with({subject:S.choiceValue},i=>({type:"ChoiceValue",attributeId:D(i.attributeId),choiceValueId:i.choiceValueId,state:u.match(i.state).with(I.Included,()=>P.Included).with(I.Excluded,()=>P.Excluded).exhaustive()})).exhaustive()}const X={type:p.ServerError};function Di(t){return u.match(t).returnType().with({type:"ConfigurationModelNotFeasible"},vi).with({type:"SpecifiedDeploymentForbidden"},xi).with({type:"AttributeNotFound"},Ni).with({type:"ChoiceAttributeNotFound"},Mi).with({type:"ComponentAttributeNotFound"},ki).with({type:"NumericAttributeNotFound"},Pi).with({type:"BooleanAttributeNotFound"},Bi).with({type:"ChoiceValueNotFound"},Oi).with({type:"NumericDecisionOutOfRange"},Fi).with({type:"ConflictWithConsequence"},Ti).with({type:"DecisionsToRespectInvalid"},Vi).with({type:"SessionNotFound"},Wi).with({type:"PutManyDecisionsConflict"},()=>X).with({type:"AssignedChannelNotFound"},()=>X).with({type:"InternalServerError"},()=>X).with({type:"RequestTimeout"},i=>f(i,p.RequestTimeout)).with({type:"RequestFailure"},i=>f(i,p.RequestFailure)).with({type:"SerializationError"},i=>f(i,p.SerializationError)).with({type:"MissingTenantIdClaim"},i=>f(i,p.MissingTenantIdClaim)).with({type:"MissingSessionIdClaim"},i=>f(i,p.MissingSessionIdClaim)).with({type:"TenantAccessForbidden"},i=>f(i,p.TenantAccessForbidden)).with({type:"SessionIdInvalid"},i=>f(i,p.SessionIdInvalid)).with({type:"AuthenticationFailure"},i=>f(i,p.AuthenticationFailure)).with({type:"SideLoadingForbidden"},i=>f(i,p.SideLoadingForbidden)).with({type:"UsageRuleRestriction"},i=>f(i,p.UsageRuleRestriction)).with({type:"ConfigurationModelInvalid"},i=>f(i,p.ConfigurationModelInvalid)).with({type:"SolutionNotFeasible"},i=>f(i,p.SolutionNotFeasible)).with({type:"ConfigurationModelNotFound"},i=>f(i,p.ConfigurationModelNotFound)).with({type:"SolverInitializationFailure"},i=>f(i,p.SolverInitializationFailure)).with({type:"ConfigurationModelLoadFailure"},i=>f(i,p.ConfigurationModelLoadFailure)).with({type:"ConfigurationInitializationFailure"},i=>f(i,p.ConfigurationInitializationFailure)).with({type:"SolverPoolInitializationFailure"},i=>f(i,p.SolverPoolInitializationFailure)).with({type:"SetDecisionConflict"},i=>f(i,p.SetDecisionConflict)).with({type:"SolveOperationTimeout"},i=>f(i,p.SolveOperationTimeout)).with({type:"ExplainConflict"},i=>f(i,p.ExplainConflict)).with({type:"ExplainFailure"},i=>f(i,p.ExplainFailure)).with({type:"SnapshotInvalid"},i=>f(i,p.SnapshotInvalid)).with({type:"SnapshotNotFound"},i=>f(i,p.SnapshotNotFound)).otherwise(()=>X)}function f(t,i){return{...t,type:i}}function vi(t){return{...t,type:p.ConfigurationModelNotFeasible,constraintExplanations:e.pipe(t.constraintExplanations??[],e.RA.map(xt))}}function xi(t){return{...t,type:p.SpecifiedDeploymentForbidden}}function Ni(t){return{...t,type:p.AttributeNotFound,globalAttributeId:y(t.globalAttributeId)}}function Mi(t){return{...t,type:p.ChoiceAttributeNotFound,globalAttributeId:y(t.globalAttributeId)}}function ki(t){return{...t,type:p.ComponentAttributeNotFound,globalAttributeId:y(t.globalAttributeId)}}function Pi(t){return{...t,type:p.NumericAttributeNotFound,globalAttributeId:y(t.globalAttributeId)}}function Bi(t){return{...t,type:p.BooleanAttributeNotFound,globalAttributeId:y(t.globalAttributeId)}}function Oi(t){const{globalChoiceValueId:i,...n}=t;return{...n,type:p.ChoiceValueNotFound,globalAttributeId:y(i.attributeId),choiceValueId:i.choiceValueId}}function Fi(t){return{...t,type:p.NumericDecisionOutOfRange,globalAttributeId:y(t.globalAttributeId)}}function Ti(t){return{...t,type:p.ConflictWithConsequence,globalAttributeId:y(t.globalAttributeId)}}function Vi(t){return{...t,type:p.DecisionsToRespectInvalid,globalAttributeId:y(t.globalAttributeId)}}function Wi(){return{type:p.SessionNotFound}}function ji(t){const i=e.pipe(t.causedByBooleanDecisions,e.RA.map(r=>({type:a.Boolean,attributeId:y(r.attributeId),state:r.state}))),n=e.pipe(t.causedByNumericDecisions,e.RA.map(r=>({type:a.Numeric,attributeId:y(r.attributeId),state:r.state}))),o=e.pipe(t.causedByComponentDecisions,e.RA.map(r=>({type:a.Component,attributeId:y(r.attributeId),state:te(r.state)}))),s=e.pipe(t.causedByChoiceDecisions,e.RA.map(r=>({type:a.Choice,attributeId:y(r.attributeId),choiceValueId:r.choiceValueId,state:ee(r.state)})));return{causedByBooleanDecisions:i,causedByNumericDecisions:n,causedByComponentDecisions:o,causedByChoiceValueDecisions:s}}function xt(t){const i=e.pipe(t.causedByCardinalities,e.RA.map(o=>y(o.attributeId))),n=e.pipe(t.causedByRules,e.RA.map(o=>Ui(o.constraintId)));return{causedByCardinalities:i,causedByRules:n}}function y(t){const i=t.sharedConfigurationModelId!=null?t.sharedConfigurationModelId:void 0,n=t.componentPath!=null&&e.RA.isNonEmpty(t.componentPath)?t.componentPath:void 0;return{localId:t.localId,componentPath:n,sharedConfigurationModelId:i}}function Ui(t){return{localId:t.localId,configurationModelId:t.configurationModelId}}function te(t){return u.match(t).with(P.Included,()=>R.Included).with(P.Excluded,()=>R.Excluded).exhaustive()}function ee(t){return u.match(t).with(P.Included,()=>I.Included).with(P.Excluded,()=>I.Excluded).exhaustive()}function st(t){return u.match(t).with(St.Explicit,()=>E.Explicit).with(St.Implicit,()=>E.Implicit).exhaustive()}function ie({state:t,kind:i}){return t!=null?{state:t,kind:st(i)}:null}function ne({state:t,kind:i}){return t!=null?{state:t,kind:st(i)}:null}function oe({state:t,kind:i}){return t===C.Included||t===C.Excluded?{state:u.match(t).with(C.Included,()=>R.Included).with(C.Excluded,()=>R.Excluded).exhaustive(),kind:st(i)}:null}function se({state:t,kind:i}){return t===C.Included||t===C.Excluded?{state:u.match(t).with(C.Included,()=>I.Included).with(C.Excluded,()=>I.Excluded).exhaustive(),kind:st(i)}:null}function ht(t){return u.match(t).with(gt.Mandatory,()=>V.Mandatory).with(gt.Optional,()=>V.Optional).exhaustive()}function Li(t){return u.match(t).with(bt.Always,()=>_.Always).with(bt.Optional,()=>_.Optional).exhaustive()}function _i(t){const i=e.pipe(t.componentDecisions,e.RA.map(r=>{var c;return{type:a.Component,attributeId:y(r.attributeId),state:(c=oe(r))==null?void 0:c.state}})),n=e.pipe(t.booleanDecisions,e.RA.map(r=>{var c;return{type:a.Boolean,attributeId:y(r.attributeId),state:(c=ie(r))==null?void 0:c.state}})),o=e.pipe(t.numericDecisions,e.RA.map(r=>{var c;return{type:a.Numeric,attributeId:y(r.attributeId),state:(c=ne(r))==null?void 0:c.state}})),s=e.pipe(t.choiceValueDecisions,e.RA.map(r=>{var c;return{type:a.Choice,attributeId:y(r.attributeId),choiceValueId:r.choiceValueId,state:(c=se(r))==null?void 0:c.state}}));return e.pipe(s,e.RA.concat(i),e.RA.concat(o),e.RA.concat(n))}function re(t,i,n){return function(o){for(var s=Array(n.length+1),r=0;r<n.length;r++)s[r]=n[r];return s[n.length]=o,i===0?t.apply(null,s):re(t,i-1,s)}}function Hi(t){var i=t.length;switch(i){case 1:return function(n){var o;return o={},o[t[0]]=n,o};case 2:return function(n){return function(o){var s;return s={},s[t[0]]=n,s[t[1]]=o,s}};case 3:return function(n){return function(o){return function(s){var r;return r={},r[t[0]]=n,r[t[1]]=o,r[t[2]]=s,r}}};case 4:return function(n){return function(o){return function(s){return function(r){var c;return c={},c[t[0]]=n,c[t[1]]=o,c[t[2]]=s,c[t[3]]=r,c}}}};case 5:return function(n){return function(o){return function(s){return function(r){return function(c){var l;return l={},l[t[0]]=n,l[t[1]]=o,l[t[2]]=s,l[t[3]]=r,l[t[4]]=c,l}}}}};default:return re(function(){for(var n=[],o=0;o<arguments.length;o++)n[o]=arguments[o];for(var s={},r=0;r<i;r++)s[t[r]]=n[r];return s},i-1,[])}}function zi(t){return function(i){for(var n=Object.keys(i),o=n.length,s=Hi(n),r=t.map(i[n[0]],s),c=1;c<o;c++)r=t.ap(r,i[n[c]]);return r}}var Ut=function(){return{concat:Rt}},rt=function(){return{concat:function(t,i){return i}}},v=ze,ae=function(t,i){return{get:t,set:i}},$i=function(){return ae(Rt,_e)},Gi=function(t){return function(i){return ae(function(n){return i.get(n)[t]},function(n){return function(o){var s,r=i.get(o);return n===r[t]?o:i.set(Object.assign({},r,(s={},s[t]=n,s)))(o)}})}},Qi=$i,Ki=function(t){return function(i){return function(n){var o=i.get(n),s=t(o);return o===s?n:i.set(s)(n)}}},Ji=Gi;const Xi=t=>t.hash!=null;var N=function(t){return{show:function(i){var n="{";for(var o in t)$e.call(t,o)&&(n+=" ".concat(o,": ").concat(t[o].show(i[o]),","));return n.length>1&&(n=n.slice(0,-1)+" "),n+="}",n}}};function O(t){const i=new WeakMap;return{show:n=>{const o=i.get(n);if(o!=null)return o;const s=t.show(n);return i.set(n,s),s}}}const Yi=e.RA.getShow(e.Str.Show),at=t=>({show:i=>i==null?"<null>":t.show(i)}),Zi={show:t=>t!=null&&e.RA.isNonEmpty(t)?Yi.show(t):"<undefined>"},tn=O(N({localId:e.Str.Show,componentPath:Zi,sharedConfigurationModelId:at(e.Str.Show)})),en=e.Str.Show,nn=e.pipe(N({localId:e.Str.Show,configurationModel:e.Str.Show}),O,at),F=t=>e.pipe(N({kind:e.Str.Show,state:t}),O,at),ct={id:tn,key:en,type:e.Str.Show,sourceId:nn,isSatisfied:e.Bool.Show,canContributeToConfigurationSatisfaction:e.Bool.Show},on=N({...ct,decision:F(e.Bool.Show),nonOptimisticDecision:F(e.Bool.Show),possibleDecisionStates:O(e.RA.getShow(e.Bool.Show)),selection:e.Str.Show}),sn=N({...ct,decision:F(e.Num.Show),nonOptimisticDecision:F(e.Num.Show),selection:e.Str.Show,range:O(N({max:e.Num.Show,min:e.Num.Show})),decimalPlaces:e.Num.Show}),rn=N({...ct,decision:F(e.Str.Show),nonOptimisticDecision:F(e.Str.Show),possibleDecisionStates:O(e.RA.getShow(e.Str.Show)),selection:at(e.Str.Show),inclusion:e.Str.Show}),an=N({...ct,cardinality:O(N({upperBound:e.Num.Show,lowerBound:e.Num.Show})),values:e.RM.getShow(e.Str.Show,N({id:e.Str.Show,decision:F(e.Str.Show),nonOptimisticDecision:F(e.Str.Show),possibleDecisionStates:O(e.RA.getShow(e.Str.Show))}))}),cn={show:t=>u.match(t).with({type:a.Choice},an.show).with({type:a.Component},rn.show).with({type:a.Boolean},on.show).with({type:a.Numeric},sn.show).exhaustive()},un=e.flow(cn.show,e.I.map(t=>We.hash(t)));function ln(t){return{...t,hash:un(t)}}var dn=function(){return{concat:function(t,i){return He(t,i)}}},pn=function(){return{concat:dn().concat,empty:Rt}};function Nt(t){return e.MO.concatAll(pn())(t)}const m=e.Str.Eq,b=e.Eq.struct({localId:e.Str.Eq,componentPath:e.pipe(e.RA.getEq(e.Str.Eq),e.Eq.contramap(t=>t??[])),sharedConfigurationModelId:e.Eq.eqNullable(e.Str.Eq)}),Mt=e.Eq.struct({localId:e.Str.Eq,configurationModelId:e.Str.Eq}),hn=e.Eq.struct({type:e.Str.Eq,includeConstraintsInConflictExplanation:e.Bool.Eq}),mn=e.Eq.struct({type:e.Str.Eq}),fn=e.Eq.union().with(t=>t.type==="Automatic",mn).with(t=>t.type==="Manual",hn),yn=e.Eq.struct({type:e.Str.Eq,conflictHandling:fn}),gn=e.Eq.struct({type:e.Str.Eq}),bn=e.Eq.union().with(t=>t.type==="DropExistingDecisions",yn).with(t=>t.type==="KeepExistingDecisions",gn),Sn=e.Eq.struct({type:e.Str.Eq,attributeId:b,state:e.Eq.eqNullable(e.Bool.Eq)}),En=e.Eq.struct({type:e.Str.Eq,attributeId:b,state:e.Eq.eqNullable(e.Num.Eq)}),wn=e.Eq.struct({type:e.Str.Eq,attributeId:b,state:e.Eq.eqNullable(e.Str.Eq)}),In=e.Eq.struct({type:e.Str.Eq,attributeId:b,choiceValueId:e.Str.Eq,state:e.Eq.eqNullable(e.Str.Eq)}),kt=e.Eq.union().with(t=>t.type===a.Boolean,Sn).with(t=>t.type===a.Numeric,En).with(t=>t.type===a.Component,wn).with(t=>t.type===a.Choice,In),ce=e.pipe(e.Eq.struct({attributeId:b,choiceValueId:e.O.getEq(e.Str.Eq)}),e.Eq.contramap(t=>u.match(t).with({type:a.Choice},i=>({attributeId:i.attributeId,choiceValueId:e.some(i.choiceValueId)})).otherwise(i=>({attributeId:i.attributeId,choiceValueId:v})))),Cn=e.Eq.struct({mode:bn,decisions:e.RA.getUnsortedArrayEq(kt)}),ue=e.Eq.struct({causedByDecisions:e.RA.getUnsortedArrayEq(kt),solution:Cn}),le=e.Eq.struct({causedByCardinalities:e.RA.getUnsortedArrayEq(b),causedByRules:e.RA.getUnsortedArrayEq(Mt)}),An=e.Eq.struct({key:m,sourceId:e.Eq.struct({configurationModel:e.Str.Eq,localId:e.Str.Eq})}),tt=e.Eq.eqNullable(e.Eq.struct({state:e.Bool.Eq,kind:e.Str.Eq})),qn=e.Eq.struct({type:e.Str.Eq,id:b,key:m,decision:tt,nonOptimisticDecision:tt}),et=e.Eq.eqNullable(e.Eq.struct({state:e.Num.Eq,kind:e.Str.Eq})),Rn=e.Eq.struct({type:e.Str.Eq,id:b,key:m,decision:et,nonOptimisticDecision:et}),it=e.Eq.eqNullable(e.Eq.struct({state:e.Str.Eq,kind:e.Str.Eq})),Dn=e.Eq.struct({type:e.Str.Eq,id:b,key:m,decision:it,nonOptimisticDecision:it}),nt=e.Eq.eqNullable(e.Eq.struct({state:e.Str.Eq,kind:e.Str.Eq})),vn=e.Eq.struct({type:e.Str.Eq,id:b,key:m,values:e.RA.getUnsortedArrayEq(e.Eq.struct({id:e.Str.Eq,decision:nt,nonOptimisticDecision:nt}))}),xn=e.Eq.union().with(t=>t.type===a.Boolean,qn).with(t=>t.type===a.Numeric,Rn).with(t=>t.type===a.Component,Dn).with(t=>t.type===a.Choice,vn),Nn=e.Eq.struct({type:e.Str.Eq,id:b,key:m,possibleDecisionStates:e.RA.getUnsortedArrayEq(e.Bool.Eq),selection:e.Str.Eq,isSatisfied:e.Bool.Eq}),Mn=e.Eq.struct({type:e.Str.Eq,id:b,key:m,range:e.Eq.struct({max:e.Num.Eq,min:e.Num.Eq}),isSatisfied:e.Bool.Eq,selection:e.Str.Eq,decimalPlaces:e.Num.Eq}),kn=e.Eq.struct({type:e.Str.Eq,id:b,key:m,possibleDecisionStates:e.RA.getUnsortedArrayEq(e.Str.Eq),isSatisfied:e.Bool.Eq,inclusion:e.Str.Eq,selection:e.Eq.eqNullable(e.Str.Eq)}),Pn=e.Eq.struct({type:e.Str.Eq,id:b,key:m,isSatisfied:e.Bool.Eq,cardinality:e.Eq.struct({upperBound:e.Num.Eq,lowerBound:e.Num.Eq}),values:e.RA.getUnsortedArrayEq(e.Eq.struct({id:e.Str.Eq,possibleDecisionStates:e.RA.getUnsortedArrayEq(e.Str.Eq)}))}),Bn=e.Eq.union().with(t=>t.type===a.Boolean,Nn).with(t=>t.type===a.Numeric,Mn).with(t=>t.type===a.Component,kn).with(t=>t.type===a.Choice,Pn),ut={type:e.Str.Eq,id:b,key:m,sourceId:e.Eq.eqNullable(e.Eq.struct({configurationModel:e.Str.Eq,localId:e.Str.Eq})),canContributeToConfigurationSatisfaction:e.Bool.Eq,isSatisfied:e.Bool.Eq},On=e.Eq.struct({...ut,selection:e.Str.Eq,possibleDecisionStates:e.RA.getUnsortedArrayEq(e.Bool.Eq),decision:tt,nonOptimisticDecision:tt}),Fn=e.Eq.struct({...ut,selection:e.Str.Eq,range:e.Eq.struct({max:e.Num.Eq,min:e.Num.Eq}),decimalPlaces:e.Num.Eq,decision:et,nonOptimisticDecision:et}),Tn=e.Eq.struct({...ut,inclusion:e.Str.Eq,selection:e.Eq.eqNullable(e.Str.Eq),possibleDecisionStates:e.RA.getUnsortedArrayEq(e.Str.Eq),decision:it,nonOptimisticDecision:it}),Vn=e.Eq.struct({...ut,cardinality:e.Eq.struct({upperBound:e.Num.Eq,lowerBound:e.Num.Eq}),values:e.RM.getEq(e.Str.Eq,e.Eq.struct({id:e.Str.Eq,possibleDecisionStates:e.RA.getUnsortedArrayEq(e.Str.Eq),decision:nt,nonOptimisticDecision:nt}))}),Et=e.Eq.union().with(t=>t.type===a.Boolean,On).with(t=>t.type===a.Numeric,Fn).with(t=>t.type===a.Component,Tn).with(t=>t.type===a.Choice,Vn),Wn=e.Eq.fromEquals((t,i)=>t.hash===i.hash);e.Eq.struct({isSatisfied:e.Bool.Eq,attributes:e.RM.getEq(m,Et)});e.Eq.struct({isSatisfied:e.Bool.Eq,attributes:e.RM.getEq(m,Wn)});e.Eq.struct({decisionExplanations:e.RA.getUnsortedArrayEq(ue),constraintExplanations:e.RA.getUnsortedArrayEq(le)});e.Eq.struct({type:e.Str.Eq,title:e.Str.Eq,detail:e.Str.Eq,decisionExplanations:e.RA.getUnsortedArrayEq(ue),constraintExplanations:e.RA.getUnsortedArrayEq(le)});const jn=e.Eq.union().with(t=>t.accessToken!=null,e.Eq.struct({accessToken:e.Str.Eq})).with(t=>t.sessionCreateUrl!=null,e.Eq.struct({sessionCreateUrl:e.Str.Eq})),Un=e.Eq.struct({rules:e.Eq.eqNullable(e.Eq.union().with(t=>t.type===B.none,e.Eq.struct({type:e.Str.Eq})).with(t=>t.type===B.all,e.Eq.struct({type:e.Str.Eq})).with(t=>t.type===B.specific,e.Eq.struct({type:e.Str.Eq,rules:e.RA.getUnsortedArrayEq(Mt)})))}),Ln=e.Eq.struct({attributeId:b,decisions:e.RA.getUnsortedArrayEq(b)}),_n=e.Eq.union().with(t=>t.type===L.Channel,e.Eq.struct({type:e.Str.Eq,channel:e.Str.Eq,deploymentName:e.Str.Eq})).with(t=>t.type===L.Package,e.Eq.struct({type:e.Str.Eq,configurationModelPackage:e.Eq.fromEquals(je.deepEqual)})),Hn=e.Eq.struct({apiBaseUrl:e.Eq.eqNullable(e.Str.Eq),sessionInitialisationOptions:jn,configurationModelSource:_n,provideSourceId:e.Eq.eqNullable(e.Bool.Eq),optimisticDecisionOptions:e.Eq.eqNullable(e.Eq.struct({restoreConfiguration:e.Eq.eqNullable(e.Bool.Eq),applySolution:e.Eq.eqNullable(e.Bool.Eq),makeDecision:e.Eq.eqNullable(e.Bool.Eq),makeManyDecisions:e.Eq.eqNullable(e.Bool.Eq)})),allowedInExplain:e.Eq.eqNullable(Un),usageRuleParameters:e.Eq.eqNullable(e.RR.getEq(e.Str.Eq)),attributeRelations:e.Eq.eqNullable(e.RA.getUnsortedArrayEq(Ln))});e.Eq.struct({isSatisfied:e.Bool.Eq,canContributeToSatisfaction:e.RA.getUnsortedArrayEq(m),meta:e.RM.getEq(m,An),decisions:e.RM.getEq(m,xn),consequences:e.RM.getEq(m,Bn)});const zn=e.Eq.struct({isSatisfied:e.Eq.eqNullable(e.Bool.Eq),attributes:e.Eq.struct({added:e.RA.getUnsortedArrayEq(Et),changed:e.RA.getUnsortedArrayEq(Et),removed:e.RA.getUnsortedArrayEq(b)})});let de="error";const $n=k(t=>{switch(t){case"debug":return["debug","info","warning","error"];case"info":return["info","warning","error"];case"warning":return["warning","error"];case"error":return["error"];case"silent":return[]}}),Y=t=>(...i)=>{if($n(de).includes(t))switch(t){case"debug":console.debug(...i);break;case"info":console.info(...i);break;case"warning":console.warn(...i);break;case"error":console.error(...i);break}},H={setLogLevel:t=>{de=t},debug:Y("debug"),info:Y("info"),warn:Y("warning"),error:Y("error")},Gn=e.pipe(Qi(),Ji("attributes"));function Pt(t){const i=e.pipe(t.attributes,e.RM.map(n=>Xi(n)?n:ln(n)));return{isSatisfied:t.isSatisfied,attributes:i}}function Qn(t){return e.pipe([...t.consequences.values()],e.RA.map(i=>u.match(i).returnType().with({type:a.Boolean},n=>({...n,canContributeToConfigurationSatisfaction:!1,decision:null,nonOptimisticDecision:null})).with({type:a.Numeric},n=>({...n,canContributeToConfigurationSatisfaction:!1,decision:null,nonOptimisticDecision:null})).with({type:a.Component},n=>({...n,canContributeToConfigurationSatisfaction:!1,decision:null,nonOptimisticDecision:null})).with({type:a.Choice},n=>({...n,canContributeToConfigurationSatisfaction:!1,values:e.pipe(n.values,e.RA.map(o=>({...o,decision:null,nonOptimisticDecision:null})),e.RA.map(o=>[o.id,o]),e.RM.fromFoldable(e.Str.Eq,Ut(),e.RA.Foldable))})).exhaustive()),e.RA.map(i=>[i.key,i]),e.RM.fromFoldable(m,Ut(),e.RA.Foldable),i=>({attributes:i,isSatisfied:t.isSatisfied}),pe(t),Pt)}function pe(t){const i=n=>z(Kn(o=>{const s=e.pipe(n,e.RA.elem(m)(o.key));return s!=o.canContributeToConfigurationSatisfaction?e.some({...o,canContributeToConfigurationSatisfaction:s}):v}));return n=>e.pipe({...n,isSatisfied:t.isSatisfied??n.isSatisfied},Jn([...(t.meta??e.RM.empty).values(),...(t.decisions??e.RM.empty).values(),...(t.consequences??e.RM.empty).values()]),t.canContributeToSatisfaction?i(t.canContributeToSatisfaction):e.identity)}function z(t){return e.pipe(Gn,Ki(e.pipe(t,e.RA.fromSingleOrArray,Nt)))}function he(t,i){return n=>e.pipe(n,e.RM.modifyAt(m)(t,o=>{const s=i(o);return s!=o?me(s):o}),e.O.doIfNone(()=>()=>{H.warn("Didn't found attribute while tying to update it. GlobalAttributeIdKey",t)}),e.O.getOrElse(()=>n))}function Kn(t){return i=>e.pipe(i,e.RM.map(n=>e.pipe(t(n),e.O.filter(o=>o!=n),e.O.map(me),e.O.getOrElse(()=>n))))}function Jn(t){return e.pipe(t,e.RA.fromSingleOrArray,e.RA.map(Xn),z)}function Xn(t){return he(t.key,i=>"type"in t?i.type===a.Choice&&t.type===a.Choice?{...i,...t,values:e.pipe(t.values,e.RA.reduce(i.values,(n,o)=>e.pipe(n,e.RM.modifyAt(e.Str.Eq)(o.id,s=>({...s,...o})),e.O.doIfNone(()=>()=>{H.warn("Didn't found choice value while tying to update it. GlobalAttributeIdKey:",t.key,"Choice Value id:",o.id)}),e.O.getOrElse(()=>n))))}:i.type===a.Boolean&&t.type===a.Boolean?{...i,...t}:i.type===a.Numeric&&t.type===a.Numeric?{...i,...t}:i.type===a.Component&&t.type===a.Component?{...i,...t}:(H.warn("Types of attribute and partial attribute mismatch. AttributeType:",i.type,"PartialAttributeType",t.type),i):{...i,...t})}function me(t){const i={...t};return delete i.hash,i}const fe=e.pipe(e.Str.Eq,e.Eq.contramap(t=>t.id)),Yn={concat:(t,i)=>({...i,values:e.RA.getUnionSemigroup(fe).concat(i.values,t.values)})},Zn={concat:(t,i)=>({...i,values:e.RA.getUnionSemigroup(fe).concat(i.values,t.values)})},mt=rt(),ft=rt(),ye={concat:(t,i)=>u.match({x:t,y:i}).with({x:{type:a.Numeric},y:{type:a.Numeric}},({x:n,y:o})=>mt.concat(n,o)).with({x:{type:a.Boolean},y:{type:a.Boolean}},({x:n,y:o})=>mt.concat(n,o)).with({x:{type:a.Component},y:{type:a.Component}},({x:n,y:o})=>mt.concat(n,o)).with({x:{type:a.Choice},y:{type:a.Choice}},({x:n,y:o})=>Yn.concat(n,o)).otherwise(()=>i)},ge={concat:(t,i)=>u.match({x:t,y:i}).with({x:{type:a.Numeric},y:{type:a.Numeric}},({x:n,y:o})=>ft.concat(n,o)).with({x:{type:a.Boolean},y:{type:a.Boolean}},({x:n,y:o})=>ft.concat(n,o)).with({x:{type:a.Component},y:{type:a.Component}},({x:n,y:o})=>ft.concat(n,o)).with({x:{type:a.Choice},y:{type:a.Choice}},({x:n,y:o})=>Zn.concat(n,o)).otherwise(()=>i)},to=rt(),eo=e.RM.getUnionSemigroup(m,rt()),io=e.RM.getUnionSemigroup(m,ye),no=e.RM.getUnionSemigroup(m,ge);function be(t){return e.pipe(t,y,T)}function Se(t,i){const n=we(i.consequences),o=Ee(i.affectedDecisions),s={isSatisfied:i.consequences.isConfigurationSatisfied,canContributeToSatisfaction:e.pipe(i.consequences.canAttributeContributeToConfigurationSatisfaction,e.RA.map(be)),decisions:o,consequences:n};return{configuration:e.pipe(t,pe(s),Pt),rawData:s}}function oo(t,i,n){const o=so(n),s=we(i),r=Ee(t),c={isSatisfied:i.isConfigurationSatisfied,canContributeToSatisfaction:e.pipe(i.canAttributeContributeToConfigurationSatisfaction,e.RA.map(be)),meta:o,decisions:r,consequences:s};return{configuration:Qn(c),rawData:c}}function Ee(t){const i=(c,l,d)=>e.pipe(c??[],e.RA.map(h=>({attributeId:y(h.attributeId),decision:h})),e.RA.map(({attributeId:h,decision:w})=>({id:h,key:T(h),...d(l(w),w)}))),n=i(t.booleanDecisions,ie,c=>({type:a.Boolean,decision:c,nonOptimisticDecision:c})),o=i(t.numericDecisions,ne,c=>({type:a.Numeric,decision:c,nonOptimisticDecision:c})),s=i(t.componentDecisions,oe,c=>({type:a.Component,decision:c,nonOptimisticDecision:c})),r=i(t.choiceValueDecisions,se,(c,l)=>({type:a.Choice,values:e.RA.of({id:l.choiceValueId,decision:c,nonOptimisticDecision:c})}));return e.pipe([...n,...o,...s,...r],e.RA.map(c=>[c.key,c]),e.RM.fromFoldable(m,ye,e.RA.Foldable))}function we(t){const i=(c,l)=>e.pipe(c??[],e.RA.map(d=>({attributeId:y(d.attributeId),consequence:d})),e.RA.map(({attributeId:d,consequence:h})=>({id:d,key:T(d),...l(h)}))),n=i(t.booleanConsequences,c=>({type:a.Boolean,isSatisfied:c.isSatisfied,possibleDecisionStates:c.possibleDecisionStates,selection:ht(c.selection)})),o=i(t.numericConsequences,c=>({type:a.Numeric,isSatisfied:c.isSatisfied,selection:ht(c.selection),range:{max:c.range.max,min:c.range.min},decimalPlaces:c.decimalPlaces})),s=i(t.componentConsequences,c=>({type:a.Component,isSatisfied:c.isSatisfied,possibleDecisionStates:e.pipe(c.possibleDecisionStates,e.RA.map(te)),inclusion:Li(c.inclusion),selection:c.selection?ht(c.selection):null})),r=i(t.choiceConsequences,c=>({type:a.Choice,isSatisfied:c.isSatisfied,cardinality:{lowerBound:c.cardinality.lowerBound,upperBound:c.cardinality.upperBound},values:e.pipe(c.values??[],e.RA.map(l=>({id:l.choiceValueId,possibleDecisionStates:e.pipe(l.possibleDecisionStates,e.RA.map(ee))})))}));return e.pipe([...n,...o,...s,...r],e.RA.map(c=>[c.key,c]),e.RM.fromFoldable(m,ge,e.RA.Foldable))}function so(t){return e.pipe((t==null?void 0:t.configurationModels)??[],e.RA.chain(i=>e.pipe(i.globalAttributeIds,e.RA.map(n=>({key:T(y(n)),sourceId:{localId:n.localId,configurationModel:i.configurationModelId}})))),e.RA.map(i=>[i.key,i]),e.RM.fromFoldable(m,to,e.RA.Foldable))}function ro(t,i){const{configuration:n,rawData:o}=Se(t,i),s=_i(i.rejectedDecisions);return{configuration:n,rawData:o,result:{rejectedDecisions:s}}}function ao(t,i){return n=>{if(n.type!=="PutManyDecisionsConflict")return v;const o=e.pipe(n.constraintExplanations??[],e.RA.map(xt)),s=Ae(n.decisionExplanations??[],t,i);return e.some({type:p.MakeManyDecisionsConflict,title:n.title??"",detail:n.detail??"",decisionExplanations:s,constraintExplanations:o})}}function co(t){const i=Ie(t);return n=>({...i(n.decisionExplanations),...Ce(n.constraintExplanations)})}function Ie(t){const i=u.match(t).returnType().with({question:q.whyIsStateNotPossible,subject:S.boolean},n=>({type:a.Boolean,attributeId:n.attributeId,state:n.state})).with({question:q.whyIsStateNotPossible,subject:S.numeric},n=>({type:a.Numeric,attributeId:n.attributeId,state:n.state})).with({question:q.whyIsStateNotPossible,subject:S.component},n=>({type:a.Component,attributeId:n.attributeId,state:n.state})).with({question:q.whyIsStateNotPossible,subject:S.choiceValue},n=>({type:a.Choice,attributeId:n.attributeId,choiceValueId:n.choiceValueId,state:n.state})).otherwise(()=>null);return n=>({decisionExplanations:Ae(n,i??[],{type:"KeepExistingDecisions"})})}function Ce(t){return{constraintExplanations:e.pipe(t,e.RA.map(xt))}}function Ae(t,i,n){return e.pipe(t,e.RA.map(ji),e.RA.map(o=>{const s=e.pipe(o.causedByBooleanDecisions,e.RA.map(A=>({type:a.Boolean,attributeId:A.attributeId,state:null}))),r=e.pipe(o.causedByNumericDecisions,e.RA.map(A=>({type:a.Numeric,attributeId:A.attributeId,state:null}))),c=e.pipe(o.causedByComponentDecisions,e.RA.map(A=>({type:a.Component,attributeId:A.attributeId,state:null}))),l=e.pipe(o.causedByChoiceValueDecisions,e.RA.map(A=>({type:a.Choice,attributeId:A.attributeId,choiceValueId:A.choiceValueId,state:null}))),d=e.pipe(o.causedByBooleanDecisions,e.RA.concat(o.causedByNumericDecisions),e.RA.concat(o.causedByComponentDecisions),e.RA.concat(o.causedByChoiceValueDecisions)),h=e.pipe(s,e.RA.concat(r),e.RA.concat(c),e.RA.concat(l)),w=e.RA.getUnionSemigroup(ce).concat(h,e.RA.fromSingleOrArray(i));return{causedByDecisions:d,solution:{mode:n,decisions:w}}}))}function qe(t,i){return e.pipe({isSatisfied:i.isSatisfied??t.isSatisfied,canContributeToSatisfaction:i.canContributeToSatisfaction??t.canContributeToSatisfaction,meta:i.meta?eo.concat(t.meta,i.meta):t.meta,decisions:i.decisions?io.concat(t.decisions,i.decisions):t.decisions,consequences:i.consequences?no.concat(t.consequences,i.consequences):t.consequences},uo)}function uo(t){const i=e.pipe(t.decisions,e.RM.filterMap(n=>n.type===a.Choice?e.pipe({...n,values:e.pipe(n.values,e.RA.filter(o=>o.decision!=null))},e.O.fromPredicate(o=>e.RA.isNonEmpty(o.values))):n.decision!=null?e.some(n):v));return{...t,decisions:i}}function lo(t){return[...t.decisions.values()].some(i=>{var n;return i.type===a.Choice?i.values.some(o=>{var s;return((s=o.decision)==null?void 0:s.kind)===E.Explicit}):((n=i.decision)==null?void 0:n.kind)===E.Explicit})}function po(t){const i=(n,o,s)=>o?[{attributeType:n.type,attributeId:n.id,attributeKey:n.key,kind:o.kind,state:o.state,...s}]:[];return e.pipe(t.decisions,e.RM.values(e.Ord.trivial),e.RA.chain(n=>u.match(n).returnType().with({type:a.Boolean},o=>i(o,o.decision,{})).with({type:a.Numeric},o=>i(o,o.decision,{})).with({type:a.Component},o=>i(o,o.decision,{})).with({type:a.Choice},o=>e.pipe(o.values,e.RA.chain(s=>i(o,s.decision,{choiceValueId:s.id})))).exhaustive()))}function ho(t){return e.pipe(t.decisions,e.RM.values(e.Ord.trivial),e.RA.chain(Re))}function Re(t){return u.match(t).returnType().with({type:a.Boolean},e.flow(mo,e.RA.fromOption)).with({type:a.Numeric},e.flow(fo,e.RA.fromOption)).with({type:a.Component},e.flow(yo,e.RA.fromOption)).with({type:a.Choice},go).exhaustive()}function mo(t){var i;return((i=t.decision)==null?void 0:i.kind)===E.Explicit?e.some({type:a.Boolean,attributeId:t.id,state:t.decision.state}):v}function fo(t){var i;return((i=t.decision)==null?void 0:i.kind)===E.Explicit?e.some({type:a.Numeric,attributeId:t.id,state:t.decision.state}):v}function yo(t){var i;return((i=t.decision)==null?void 0:i.kind)===E.Explicit?e.some({type:a.Component,attributeId:t.id,state:t.decision.state}):v}function go(t){return e.pipe(t.values,e.RA.filter(i=>{var n;return((n=i.decision)==null?void 0:n.kind)===E.Explicit}),e.RA.map(i=>({type:a.Choice,attributeId:t.id,choiceValueId:i.id,state:i.decision.state})))}function bo(t,i){const n=i.decisions.get(T(t.attributeId)),o=n?Re(n):[];return e.pipe(o,e.RA.findFirst(r=>ce.equals(r,t)),e.O.match(()=>t.state==null,r=>kt.equals(r,t)))}function So(t,i){return e.RA.isEmpty(t)&&i==="KeepExistingDecisions"}const De={Accept:"application/json"};function ve(t){const i=G(t.apiBaseUrl),n=(o,s)=>x(()=>o(Ci(t),{headers:{...De,...s??{}}}));return e.pipe(u.match(t.sessionInitialisationOptions).with({accessToken:u.P.string},o=>n(i.session.sessionPost,{Authorization:`Bearer ${o.accessToken}`})).with({sessionCreateUrl:u.P.string},o=>n(wi(o.sessionCreateUrl))).exhaustive(),e.TE.map(o=>({sessionContext:t,sessionId:o.sessionId})),e.TE.chain(o=>{const s=x(()=>i.decision.decisionGetAllDecisions({headers:U(o)})),r=x(()=>i.consequence.consequenceGet({headers:U(o)})),c=o.sessionContext.provideSourceId??!1?x(()=>i.meta.metaGet({headers:U(o)})):e.TE.right(null);return e.pipe(zi(e.TE.ApplicativePar)({decisions:s,consequences:r,meta:c}),e.TE.map(l=>oo(l.decisions,l.consequences,l.meta)),e.TE.map(l=>({...o,configuration:l.configuration,configurationRawData:l.rawData})))}))}function xe(t,i){const n=Ai(t,i);return o=>{if(So(t,i.type))return e.TE.right({sessionState:o,result:{rejectedDecisions:[]}});const s=G(o.sessionContext.apiBaseUrl);return e.pipe(x(()=>s.decision.decisionPutMany(n,{headers:U(o)}),ao(t,i)),e.TE.map(r=>e.pipe(ro(o.configuration,r),e.I.map(c=>({sessionState:{...o,configurationRawData:qe(o.configurationRawData,c.rawData),configuration:c.configuration},result:c.result})))))}}function Eo(t){const i=Ii(t);return n=>{if(bo(t,n.configurationRawData))return e.TE.right(n);const o=G(n.sessionContext.apiBaseUrl);return e.pipe(x(()=>o.decision.decisionPutDecision(i,{headers:U(n)})),e.TE.map(s=>{const{configuration:r,rawData:c}=Se(n.configuration,s);return{...n,configuration:r,configurationRawData:qe(n.configurationRawData,c)}}))}}function wo(t,i){const n=(s,r,c,l,d)=>{const h=r(s);return(w,A)=>u.match(i).with("decisions",()=>e.pipe(x(()=>c(w.explain)(h,A)),e.TE.map(Ie(s)))).with("constraints",()=>e.pipe(x(()=>l(w.explain)(h,A)),e.TE.map(Ce))).with("full",()=>e.pipe(x(()=>d(w.explain)(h,A)),e.TE.map(co(s)))).exhaustive()},o=u.match(t).with({question:q.whyIsNotSatisfied},s=>n(s,qi,r=>r.explainWhyNotSatisfiedDecisions,r=>r.explainWhyNotSatisfiedRules,r=>r.explainWhyNotSatisfied)).with({question:q.whyIsStateNotPossible},s=>n(s,Ri,r=>r.explainWhyStateNotPossibleDecisions,r=>r.explainWhyStateNotPossibleRules,r=>r.explainWhyStateNotPossible)).exhaustive();return s=>{const r=G(s.sessionContext.apiBaseUrl);return o(r,{headers:U(s)})}}function Ne(t){const i=G(t.sessionContext.apiBaseUrl);return x(()=>i.session.sessionDelete(t.sessionId))}function Io(t){return i=>Me(i,t)}function Me(t,i){return t.sessionId&&Ne({...t,sessionId:t.sessionId})(),e.pipe({...t,sessionId:void 0},e.I.map(n=>e.pipe(ke(i??n.sessionContext,n.configurationRawData),e.TE.mapLeft(o=>({error:o,sessionState:n})))))}function ke(t,i){return e.pipe(ve(t),e.TE.chain(n=>{const o=ho(i);return e.RA.isNonEmpty(o)?e.pipe(n,xe(o,{type:"DropExistingDecisions",conflictHandling:{type:"Automatic"}}),e.TE.map(s=>s.sessionState)):e.TE.right(n)}))}function x(t,i){return e.pipe(e.TE.tryCatch(t,n=>n),e.TE.match(e.identity,e.identity),e.T.map(n=>{if(n==null||n.data==null&&n.error==null)return e.E.left({type:p.ConnectionError});if(n.data!=null)return e.E.right(n.data);if(n.error!=null){const o=(i==null?void 0:i(n.error))??v;if(e.O.isSome(o))return e.E.left(o.value);if(n.error.type!=null&&n.error.title!=null&&n.error.detail!=null)return e.pipe(n.error,Di,e.E.left)}return H.error("Received unknown error format:",n.error),e.E.left({type:p.ServerError})}))}function U(t){return{...De,"X-SESSION-ID":t.sessionId}}function Co(t){return z(Pe(t))}function Ao(t,i){const n=()=>z(e.RM.map(o=>u.match(o).returnType().with({type:a.Boolean},s=>({...s,decision:null})).with({type:a.Numeric},s=>({...s,decision:null})).with({type:a.Component},s=>({...s,decision:null})).with({type:a.Choice},s=>({...s,values:e.pipe(s.values,e.RM.