How to Install and Uninstall ghc-dependent-sum Package on openSUSE Leap

Last updated: May 19,2024

1. Install "ghc-dependent-sum" package

In this section, we are going to explain the necessary steps to install ghc-dependent-sum on openSUSE Leap


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                ghc-dependent-sum
            
                    
    
    Copied

2. Uninstall "ghc-dependent-sum" package

Please follow the instructions below to uninstall ghc-dependent-sum on openSUSE Leap:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                ghc-dependent-sum
            
                    
    
    Copied

3. Information about the ghc-dependent-sum package on openSUSE Leap

Information for package ghc-dependent-sum:
------------------------------------------
Repository : Main Repository
Name : ghc-dependent-sum
Version : 0.4-bp155.2.13
Arch : x86_64
Vendor : openSUSE
Installed Size : 111.9 KiB
Installed : No
Status : not installed
Source package : ghc-dependent-sum-0.4-bp155.2.13.src
Upstream URL : https://hackage.haskell.org/package/dependent-sum
Summary : Dependent sum type
Description :
A dependent sum is a generalization of a particular way of thinking about the
'Either' type. 'Either a b' can be thought of as a 2-tuple '(tag, value)',
where the value of the tag determines the type of the value. In particular,
either 'tag = Left' and 'value :: a' or 'tag = Right' and 'value :: b'.
This package allows you to define your own dependent sum types by using your
own "tag" types.