chris-martin

#! /usr/bin/env bash

set -eufo pipefail

nix-shell --pure --run 'ghcide --lsp'

alpmestan

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE UndecidableInstances #-}

import Data.Proxy
import GHC.TypeLits
import Servant.API

phadej

{-# LANGUAGE DeriveGeneric, TypeOperators, RankNTypes, ScopedTypeVariables, DataKinds #-}
import Generics.SOP
import qualified GHC.Generics as GHC

type Text = String
type Day = String
data CardType = Visa | AmEx | Mastercard

data FormTemplate f = FormTemplate
    { _email :: f Text

freckletonj

{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE TypeOperators #-}

module Sand where

import Data.Aeson

paragonie-scott

Hello software developers,

Please check your code to ensure you're not making one of the following mistakes related to cryptography.

I. General Mistakes

• Writing your own home-grown cryptography primitives (For example: Mifare Classic)
  • Exception: For the sake of learning, but don't deploy it in production.
• Using a fast hash function (e.g. MD5, SHA256) for storing passwords. Use bcrypt instead.
• Not using a cryptographically secure random number generator