From b43badaf044fc35b56dc0b23311f0255392fcb89 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Fri, 16 Oct 2015 09:20:14 -0400 Subject: [PATCH] :fire: FreeConvertible. --- prototype/Doubt/Free.swift | 17 ----------------- 1 file changed, 17 deletions(-) diff --git a/prototype/Doubt/Free.swift b/prototype/Doubt/Free.swift index 9ad6b8b0c..2939c96da 100644 --- a/prototype/Doubt/Free.swift +++ b/prototype/Doubt/Free.swift @@ -204,21 +204,4 @@ extension Free where A: CustomJSONConvertible { } -// MARK: - FreeConvertible - -/// A hack to work around the unavailability of same-type requirements. -public protocol FreeConvertible { - typealias RollType - typealias PureType - - init(free: Free) - var free: Free { get } -} - -extension Free: FreeConvertible { - public init(free: Free) { self = free } - public var free: Free { return self } -} - - import Prelude