etorreborre

# from https://www.makeuseof.com/tag/sound-advice-fixing-common-mac-audio-problems-os-x/
sudo killall coreaudiod

etorreborre

How to Use Fzf in GHCi
by Vanessa McHale | 2019-08-27 01:27

I use fzf when I'm on the command-line. To configure GHCi to use fzf instead of haskeline's built-in search:

Put the following in $HOME/.haskeline:

bind: ctrl-r : f z f return

and the following in $HOME/.ghci:

etorreborre

import Data.Registry

data Company = Company [Department] deriving (Eq, Show) 
data Departement = Department [PersonV0] deriving (Eq, Show) 

data PersonV0 = PersonV0 Text deriving (Eq, Show)
data PersonV1 = PersonV1 Text Int deriving (Eq, Show)

-- A registry for a given "schema". That registry can be lifted to 
--  any Applicative context: Encoder, Decoder, Gen, ...

etorreborre

-- a component 
data FileSystem m = FileSystem {
  exists   :: Path -> m (Either Text Bool)
, readFile :: Path -> m (Either Text Text)
}

-- a constructor for a mock file system
newFileSystemWith :: (FileSystemValues -> FileSystemValues) -> FileSystem
newFileSystemWith f = FileSystem {
  exists = \_ -> pure (_exists $ f fileSystemValues)

etorreborre

data Expr =
    Var String
  | Lam String Expr
  | App Expr Expr

etorreborre

test_cycle_constructors = 
  prop "we can cycle deterministically across all the constructors of a data type" $ runS generators $ do
    setGenS @Int (pure 1)
    setCycleChooserS @EmployeeStatus

    names <- replicateM 10 (forallS @EmployeeStatus)
    names === take 10 (join $ repeat [Permanent, Temporary 1])

etorreborre

test_with_better_department_name =
  prop "a department must have a short capitalized name" $ runS generators $ do
    setSmallCompany
    setDepartmentName
    
    company <- forallS @Company

    let Just d = head $ departments company
    (T.length (departmentName d) <= 5) === True

etorreborre

setShortDepartmentNamesS :: MonadState (Registry _ _) m => m ()
setShortDepartmentNamesS = specializeGenS @Department genDepartmentName

etorreborre

-- short and upper cased names
genDepartmentName = T.take 5 . T.toUpper <$> genText

registry' = 
  specializeGen @Department genDepartmentName
  registry
  
-- we get specific department names  
λ> fmap departmentName <$> (replicateM 5 $ sampleIO (make @(GenIO Department) registry'))
["CE","UNZ","FG","V","HIB"]

etorreborre

registry' = 
     fun (list @Deparment (linear 10 1000))
  <: registry