implement all static members from ParamBase and CvBase convenience ty…

…pes on Param convenience type
nfdi4plants · Aug 16, 2023 · d2ae48c · d2ae48c
1 parent f4bfe52
commit d2ae48c
Showing 1 changed file with 98 additions and 76 deletions.
diff --git a/src/ControlledVocabulary/IParam.fs b/src/ControlledVocabulary/IParam.fs
@@ -11,80 +11,102 @@ type IParam =
 
 type Param =
 
-    /// Returns true, if the given term matches the term of the param
-    static member equalsTerm (term : CvTerm) (param : IParam) =
-        CvBase.equalsTerm term param
-
-    /// Returns true, if the terms of the given params match
-    static member equals (param1 : IParam) (param2 : IParam) =
-        CvBase.equals param1 param2
-
-    /// Returns true, if the value of the given params match
-    static member equalsName (param1 : IParam) (param2 : IParam) =
-        CvBase.equalsName param1 param2
-
-    /// Returns Some Param, if the given cv item can be downcast, else returns None
-    static member tryParam (cv : ICvBase) =
-        match cv with
-        | :? IParam as param -> Some param
-        | _ -> None
-
-    /// Returns Some Param, if the given value item can be downcast, else returns None
-    static member tryParam (cv : IParamBase) =
-        match cv with
-        | :? IParam as param -> Some param
-        | _ -> None
-
-    /// Returns Some Value of type 'T, if the given param can be downcast, else returns None
-    static member inline tryAs<'T when 'T :> IParam> (cv : IParam) =
-        match cv with
-        | :? 'T as cv -> Some cv
-        | _ -> None
-
-    /// Returns true, if the given param can be downcast
-    static member inline is<'T when 'T :> IParam> (cv : IParam) =
-        match cv with
-        | :? 'T as cv -> true
-        | _ -> false
-
-    /// Returns the typed value of the param.
-    static member getParamValue (param : IParam) =
-        param |> ParamBase.getParamValue
-
-    /// Returns the value of the Param as a IConvertiböe
-    static member getValue (param:IParamBase) =
-        param |> ParamBase.getValue
-
-    /// Returns the value of the param as a string.
-    static member getValueAsString (cvParam : IParam) =
-        (cvParam :> IParamBase).Value
-        |> ParamValue.getValueAsString
-
-    /// Returns the value of the param as an int if possible, else fails.
-    static member getValueAsInt (cvParam : IParam) =
-        (cvParam :> IParamBase).Value
-        |> ParamValue.getValueAsInt
-
-    /// Returns the value of the param as a CvTerm.
-    static member getValueAsTerm (cvParam : IParam) =
-        (cvParam :> IParamBase).Value
-        |> ParamValue.getValueAsTerm
-
-    static member mapValue (f : ParamValue -> ParamValue) (param : IParam) = 
-        ParamBase.mapValue f param :?> IParam
-
-    static member tryMapValue (f : ParamValue -> ParamValue option) (param : IParam) = 
-        ParamBase.tryMapValue f param |> Option.map (fun v -> v :?> IParam)
-
-    static member tryAddName (value : string) (param : IParam) = 
-        ParamBase.tryAddName value param |> Option.map (fun v -> v :?> IParam)
-
-    static member tryAddAccession (id : string) (param : IParam) = 
-        ParamBase.tryAddAccession id param |> Option.map (fun v -> v :?> IParam)
-
-    static member tryAddReference (ref : string) (param : IParam) = 
-        ParamBase.tryAddReference ref param |> Option.map (fun v -> v :?> IParam)
-
-    static member tryAddUnit (unit : CvUnit) (param : IParam) = 
-        ParamBase.tryAddUnit unit param |> Option.map (fun v -> v :?> IParam)
+    //---------------------- IParamBase implementations ----------------------//
 
+    /// Returns the value of the Param as a ParamValue
+    static member getParamValue (param: IParam) = ParamBase.getParamValue param
+
+    /// Returns the value of the Param as IConvertible
+    static member getValue (param: IParam) = ParamBase.getValue param
+
+    /// Returns the value of the Param as string
+    static member getValueAsString (param: IParam) = ParamBase.getValueAsString param
+
+    /// Returns the value of the Param as int if possible, else fails
+    static member getValueAsInt (param: IParam) = ParamBase.getValueAsInt param
+
+    /// Returns the value of the Param as a term
+    static member getValueAsTerm (param: IParam) = ParamBase.getValueAsTerm param
+
+    static member tryGetValueAccession (param: IParam) = ParamBase.tryGetValueAccession param
+
+    static member tryGetValueRef (param: IParam) = ParamBase.tryGetValueRef param
+
+    static member tryGetCvUnit (param: IParam) : CvUnit option = ParamBase.tryGetCvUnit param
+
+    static member tryGetCvUnitValue (param: IParam) = ParamBase.tryGetCvUnitValue param
+
+    static member tryGetCvUnitTermName (param: IParam) = ParamBase.tryGetCvUnitTermName param
+
+    static member tryGetCvUnitTermAccession (param: IParam) = ParamBase.tryGetCvUnitTermAccession param
+
+    static member tryGetCvUnitTermRef (param: IParam) = ParamBase.tryGetCvUnitTermRef param
+
+    static member mapValue (f : ParamValue -> ParamValue) (param : IParam) = ParamBase.mapValue f param :?> IParam
+
+    static member tryMapValue (f : ParamValue -> ParamValue option) (param : IParamBase) = 
+        ParamBase.tryMapValue f param 
+        |> Option.map (fun v -> v :?> IParam)
+
+    static member tryAddName (name : string) (param : IParamBase) = 
+        ParamBase.tryAddName name param
+        |> Option.map (fun v -> v :?> IParam)
+
+    static member tryAddAccession (acc : string) (param : IParamBase) = 
+        ParamBase.tryAddAccession acc param
+        |> Option.map (fun v -> v :?> IParam)
+
+    static member tryAddReference (ref : string) (param : IParamBase) = 
+        ParamBase.tryAddReference ref param
+        |> Option.map (fun v -> v :?> IParam)
+
+    static member tryAddUnit (unit : CvUnit) (param : IParamBase) = 
+        ParamBase.tryAddUnit unit param
+        |> Option.map (fun v -> v :?> IParam)
+
+    //------------------------ ICvBase implementations -----------------------//
+
+    /// Returns the id of the cv item
+    static member getCvAccession (param: IParam) = CvBase.getCvAccession param
+
+    /// Returns the name of the cv item
+    static member getCvName (param: IParam) = CvBase.getCvName param
+
+    /// Returns the reference of the cv item
+    static member getCvRef (param: IParam) = CvBase.getCvRef param
+
+    /// Returns the full term of the cv item
+    static member getTerm (param: IParam) = CvBase.getTerm param
+
+    /// Returns true, if the given term matches the term of the cv item
+    static member equalsTerm (term : CvTerm) (param: IParam) = CvBase.equalsTerm term param
+
+    /// Returns true, if the terms of the given param items match
+    static member equals (param1 : IParam) (param2 : IParam) = CvBase.equals param1 param2
+
+    /// Returns true, if the names of the given param items match
+    static member equalsName (param1 : IParam) (param2 : IParam) = CvBase.equalsName param1 param2
+
+    /// Returns Some Value of type 'T, if the given param item can be downcast, else returns None
+    static member inline tryAs<'T when 'T :> IParam> (param: IParam) = CvBase.tryAs<'T> param
+
+    /// Returns true, if the given param item can be downcast
+    static member inline is<'T when 'T :> IParam> (param : IParam) = CvBase.is<'T> param
+
+    //-------------------- IParam specific implementations -------------------//
+
+
+module IParamExtensions =
+    type CvBase with
+        /// Returns Some Param, if the given param item can be downcast, else returns None
+        static member tryParam (cv : ICvBase) =
+            match cv with
+            | :? IParam as param -> Some param
+            | _ -> None
+
+    type ParamBase with
+        /// Returns Some Param, if the given value item can be downcast, else returns None
+        static member tryParam (cv : IParamBase) =
+            match cv with
+            | :? IParam as param -> Some param
+            | _ -> None