Skip to content

Commit

Permalink
Formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
lolepezy committed Jan 5, 2025
1 parent 4557768 commit fc55a0b
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 10 deletions.
2 changes: 1 addition & 1 deletion src/RPKI/UniqueId.hs
Original file line number Diff line number Diff line change
Expand Up @@ -8,4 +8,4 @@ thisExecutableVersion :: ExecutableVersion
thisExecutableVersion = ExecutableVersion $ rpkiProverVersion <> " " <>
-- The content is to be updated by the 'src-hash' script
-- that calculates hash of the source tree and configuration/build files
"srcHash#c4e81fcf3917afa77e874f9e1d8d8833ed1289cfbadecfc2489bf0e8c5d06707#srcHash"
"srcHash#d225201882e085077029d0e8febb6968cf1605d95219602a63cfc3b8d1d8f9ba#srcHash"
18 changes: 9 additions & 9 deletions src/RPKI/Util.hs
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ module RPKI.Util where

import Control.Exception
import Control.Lens
import Numeric.Natural
import Control.Monad.IO.Class

import qualified Crypto.Hash.SHA256 as S256
import qualified Data.ByteString as BS
Expand All @@ -30,11 +30,11 @@ import Data.Bifunctor
import Data.Word
import RPKI.Domain
import RPKI.AppTypes
-- import RPKI.Reporting

import Control.Monad.IO.Class
import Data.IORef.Lifted

import Numeric.Natural

import qualified Text.URI as MURI
import Text.URI.Lens

Expand All @@ -57,22 +57,22 @@ hex = Hex.encode
hexL :: LBS.ByteString -> LBS.ByteString
hexL = HexLazy.encode

class ConvertibleAsSomethigString s1 s2 where
class ConvertibleAsSomethingString s1 s2 where
convert :: s1 -> s2

instance SC.ConvertibleStrings s1 s2 => ConvertibleAsSomethigString s1 s2 where
instance SC.ConvertibleStrings s1 s2 => ConvertibleAsSomethingString s1 s2 where
convert = SC.cs

instance {-# OVERLAPPING #-} ConvertibleAsSomethigString Text s => ConvertibleAsSomethigString URI s where
instance {-# OVERLAPPING #-} ConvertibleAsSomethingString Text s => ConvertibleAsSomethingString URI s where
convert (URI u) = convert u

instance {-# OVERLAPPING #-} ConvertibleAsSomethigString Text s => ConvertibleAsSomethigString RsyncURL s where
instance {-# OVERLAPPING #-} ConvertibleAsSomethingString Text s => ConvertibleAsSomethingString RsyncURL s where
convert = convert . getURL

instance {-# OVERLAPPING #-} ConvertibleAsSomethigString Text s => ConvertibleAsSomethigString RrdpURL s where
instance {-# OVERLAPPING #-} ConvertibleAsSomethingString Text s => ConvertibleAsSomethingString RrdpURL s where
convert (RrdpURL u) = convert u

instance {-# OVERLAPPING #-} ConvertibleAsSomethigString Text s => ConvertibleAsSomethigString RpkiURL s where
instance {-# OVERLAPPING #-} ConvertibleAsSomethingString Text s => ConvertibleAsSomethingString RpkiURL s where
convert (RsyncU u) = convert u
convert (RrdpU u) = convert u

Expand Down

0 comments on commit fc55a0b

Please sign in to comment.