Clément Delafargue divarvel

## sspring.idris


data Dependency : String -> Type -> Type
  where MkDep : (name: String) -> a -> Dependency name a

DepWrapper : Type -> Type
DepWrapper t = (String ** Dependency _ t)


dep1 : Dependency "toto" Int

## gist:8739525

      
              1 file
            
          
              39 forks
            
          
              5 comments
            
          
              321 stars
            
          
                bitemyapp
                / gist:8739525
            
            
              Last active
              May 7, 2021 23:22
            
              
                Learning Haskell
              
          
    The Learning Haskell guide has been moved to a git repo to enable outside contribution

Find it here: https://github.com/bitemyapp/learnhaskell

  
## gist:5396793
sealed abstract trait Tree
case class Leaf(a: String) extends Tree
case class Node(l: Tree, r: Tree) extends Tree

implicit val treeR: Reads[Tree] =
  __.read[Leaf].map(x => x:Tree) orElse
  (
    (__ \ "l").lazyRead(treeR) and (__ \ "r").lazyRead(treeR)
  )(Node.apply _).map(x => x:Tree)

## TypeClass.hs
Moved to https://github.com/tonymorris/type-class

## .bash_aliases
alias tags='ctags -f tags -h ".php" -R --exclude=".svn" --exclude="*.yml.php" --totals=yes --tag-relative=yes --PHP-kinds=+cf --fields=+afkst --regex-PHP="/@method[ ][^ ]+[ ]+([^ (]*)/\1/f/"'


	data Dependency : String -> Type -> Type
	where MkDep : (name: String) -> a -> Dependency name a

	DepWrapper : Type -> Type
	DepWrapper t = (String ** Dependency _ t)


	dep1 : Dependency "toto" Int
	sealed abstract trait Tree
	case class Leaf(a: String) extends Tree
	case class Node(l: Tree, r: Tree) extends Tree

	implicit val treeR: Reads[Tree] =
	__.read[Leaf].map(x => x:Tree) orElse
	(
	(__ \ "l").lazyRead(treeR) and (__ \ "r").lazyRead(treeR)
	)(Node.apply _).map(x => x:Tree)